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

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.

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