hilbert-axioms

Here are 6 public repositories matching this topic...

A formalization of geometry in Coq based on Tarski's axiom system

geometry euclid coq formalization elements archimedes tarski-axiom hilbert-axioms desargues pappus parallel-postulate continuity

Formalization of some elementary mathematical theories in Coq

geometry euclid coq formalization elements hilbert-axioms

The Hilbert Curve coded in P5JS

Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem

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.

logic theorem-prover hilbert-axioms

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."