A formalization of geometry in Coq based on Tarski's axiom system
-
Updated
May 31, 2024 - Coq
A formalization of geometry in Coq based on Tarski's axiom system
Formalization of some elementary mathematical theories in Coq
The Hilbert Curve coded in P5JS
Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.
Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem
Simple Hilbert-style prover for implicational fragment.
Add a description, image, and links to the hilbert-axioms topic page so that developers can more easily learn about it.
To associate your repository with the hilbert-axioms topic, visit your repo's landing page and select "manage topics."