Here are
6 public repositories
matching this topic...
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
Updated
Jun 12, 2024
JavaScript
Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem
Updated
Jan 26, 2021
OCaml
Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.
Simple Hilbert-style prover for implicational fragment.
Updated
Jul 13, 2022
Python
Improve this page
Add a description, image, and links to the
hilbert-axioms
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
hilbert-axioms
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.