M
my-tauto
Coq implementation and verification of a decision procedure for intuitionistic tautological properties (MPRI 2.7.2 project).
Archived project! Repository and other project resources are read-only
Coq implementation and verification of a decision procedure for intuitionistic tautological properties (MPRI 2.7.2 project).
Archived project! Repository and other project resources are read-only