Constructions (CIC) and with interactive theorem provers with procedural
proof languages (expecially Coq), getting started with Matita is relatively
easy. You just need to learn how to type Unicode symbols, how to browse
Constructions (CIC) and with interactive theorem provers with procedural
proof languages (expecially Coq), getting started with Matita is relatively
easy. You just need to learn how to type Unicode symbols, how to browse