hilbert-axioms

There are 0 repository under hilbert-axioms topic.

GeoCoq / GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
archimedes continuity coq desargues elements euclid formalization geometry hilbert-axioms pappus parallel-postulate tarski-axiom
Language:Coq 175
ivashkev / math-formalizations
Formalization of some elementary mathematical theories in Coq
formalization coq geometry hilbert-axioms euclid elements
Language:Coq 14
johnnyawesome / HilbertCurve
The Hilbert Curve coded in P5JS
hilbert-curve hilbert hilbert-axioms hilbert-transform hilbertcurve fractal fractal-images fractals fractal-algorithms fractal-geometry fractal-rendering l-systems l-system lindenmayer-systems lindenmayer p5js p5js-animation processing processing-animation javascript
Language:JavaScript 1
haztecaso / euclidean-geometry-lean
Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.
euclidean-geometry formal-proofs formalization hilbert-axioms lean mathematics
Language:TeX 0
BelegCuthalion / hilbert
Simple Hilbert-style prover for implicational fragment.
hilbert-axioms logic theorem-prover
Language:Python
Vedant2311 / SAT-solver-toolbox
Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem
analytic-tableaux sat-solver hilbert-axioms natural-deduction resolution-proof propositional-logic proof-system robdd first-order-logic
Language:OCaml