Explore projects
-
Updated
-
Coq implementation and verification of a decision procedure for intuitionistic tautological properties (MPRI 2.7.2 project).
archived 0Updated -
Updated
Coq implementation and verification of a decision procedure for intuitionistic tautological properties (MPRI 2.7.2 project).