Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with type-theory
A curated list of projects in awesome lists tagged with type-theory .
https://github.com/yazaldefilimone/lambda-calculus.ts
Untyped lambda calculus with bound variables.
compiler lambda-calculus type-theory typescript
Last synced: 17 Nov 2024
https://github.com/satyendrabanjare/atp-proofs
Collection of explainatory example proofs for popular proof assistants.
coq homotopy-type-theory isabelle-hol proof-assistant proof-of-concept type-theory typesystems
Last synced: 30 Dec 2024
https://github.com/jonaprieto/the-pigeonhole-principle
A formalisation of the pigeon theorem in UTT.
agda discrete-mathematics hott type-theory
Last synced: 18 Dec 2024
https://github.com/emanuelec/teoria-dei-tipi
Appunti ed esercizi del corso "Teoria dei tipi" - università degli studi di Padova, corso di laurea in Informatica
coq esercizi exercises logica martin-lof matematica math proof-assistant teoria-dei-tipi type-theory unipd
Last synced: 05 Jan 2025
https://github.com/wrsturgeon/sigma-types
Types automatically checked for invariants in debug builds only.
invariant invariants rust rust-lang test testing testing-tools type-theory
Last synced: 29 Dec 2024
