Mathematical Proofs Checked with the Proof Assistant Coq

I have defined some induction principle on the type of lists
and proved some properties about it. This development is mechanized
in the proof assistant Coq.

Skills and deliverables: Algorithm Development, Equations, Mathematical Modeling, Coq Proof Assistant, Formalization, Logic

Discover More Projects
Scroll to Top