GeezerVison is showing github.com — Deducteam
Popular repositories
Loading
Proof assistant based on the λΠ-calculus modulo rewriting
OCaml
413
48
Type-checker for the λΠ-calculus modulo rewriting
OCaml
244
32
An encyclopedia of proofs
OCaml
69
12
First-order automated theorem prover based on the tableau method
OCaml
19
7
A translation framework for eliminating definitional equalities in Lean
Lean
17
1
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Agda
Common Lisp
Coq
Haskell
HTML
JavaScript
Lambdapi
Lean
Makefile
OCaml
Python
Rocq Prover
Rust
Scala
Shell
TeX
Sort
Showing 10 of 69 repositories
Dedukti
Public
Type-checker for the λΠ-calculus modulo rewriting
Deducteam/Dedukti's past year of commit activity
Deducteam/opam-lambdapi-repository's past year of commit activity
Shell
1
5
0
0
Updated Nov 11, 2026
lambdapi
Public
Proof assistant based on the λΠ-calculus modulo rewriting
Deducteam/lambdapi's past year of commit activity
Deducteam/lambdapi-logics's past year of commit activity
Lambdapi
7
3
0
0
Updated Nov 11, 2026
Deducteam/lambdapi-zenon's past year of commit activity
Lambdapi
1
3
0
0
Updated Nov 9, 2026
Deducteam/lambdapi-stdlib's past year of commit activity
Lambdapi
8
12
2
5
Updated Nov 8, 2026
unikodo
Public
Flexible and friendly tooling for Unicode
Deducteam/unikodo's past year of commit activity
TeX
0
0
0
0
Updated Nov 5, 2026
Deducteam/opam-repository's past year of commit activity
hol2dk
Public
HOL-Light to Dedukti/Lambdapi translator
Deducteam/hol2dk's past year of commit activity
Rocq Prover
9
7
2
2
Updated Oct 27, 2026
Deducteam/lean-hollight's past year of commit activity
Lambdapi
0
1
0
0
Updated Oct 23, 2026
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.