Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with formalization
A curated list of projects in awesome lists tagged with formalization .
https://github.com/egbertrijke/hott-intro
An introductory course to Homotopy Type Theory
agda book coq formalization hott mathematics univalence
Last synced: 27 Sep 2024
https://github.com/EgbertRijke/HoTT-Intro
An introductory course to Homotopy Type Theory
agda book coq formalization hott mathematics univalence
Last synced: 01 Aug 2024
https://github.com/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
Last synced: 27 Sep 2024
https://github.com/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
Last synced: 02 Aug 2024
https://github.com/loganrjmurphy/LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
autoformalization euclidean-geometry formalization lean4 llm-evaluation theorem-proving
Last synced: 09 Aug 2024
https://github.com/annenkov/two-level
Two-Level Type Theory
formalization homotopy-type-theory lean proof-assistant type-theory
Last synced: 09 Aug 2024
https://github.com/siraben/coq-wigderson
Formalization of Wigderson's graph coloring algorithm in Coq
coq formalization graph-algorithms graph-coloring
Last synced: 27 Sep 2024
https://github.com/zchn/eth-acl2
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
acl2 ethereum evm formal-methods formalization proofs verification
Last synced: 03 Aug 2024
https://github.com/siraben/senior-thesis
LaTeX sources for my undergraduate thesis
coq formalization graph-theory thesis
Last synced: 28 Sep 2024
https://github.com/bakseter/thesis
My master thesis (and related code) in Logic at the University of Bergen.
coq formalization proof-theory thesis
Last synced: 27 Sep 2024
https://github.com/kamirus/fine-grained-shift0-dollar
Coq Formalisation of "A Fine-Grained Evaluation Strategy for Delimited-Control Operators shift0/dollar"
control-operators coq delimited-continuations formalization lambda-calculus
Last synced: 27 Sep 2024