Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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/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