Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Calculus Proof Open Source Projects
Open source projects categorized as Calculus Proof
Categories
>
Mathematics
>
Calculus
Edit Category
Deducteam/lambdapi
⭐
241
Proof assistant based on the λΠ-calculus modulo rewriting
dependent packages
0
total releases
0
most recent commit
over 2 years ago
OpenPAL/TypeAndProof
⭐
83
https://openpal.github.io/TypeAndProof/
dependent packages
0
total releases
0
most recent commit
about 9 years ago
boyland/sasylf
⭐
67
Educational Proof Assistant for Type Theory
dependent packages
0
total releases
0
most recent commit
over 2 years ago
TiarkRompf/minidot
⭐
62
Dependent Object Types (DOT), bottom up
dependent packages
0
total releases
0
most recent commit
over 4 years ago
pi8027/lambda-calculus
⭐
51
A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
dependent packages
0
total releases
0
most recent commit
almost 6 years ago
coq-contribs/coq-in-coq
⭐
49
A formalisation of the Calculus of Constructions
dependent packages
0
total releases
0
most recent commit
about 4 years ago
RBornat/jape
⭐
43
Jape, a configurable proof editor (best at natural deduction and sequent calculus)
dependent packages
0
total releases
0
most recent commit
over 2 years ago
sequents/code
⭐
29
Proof theory seminar
dependent packages
0
total releases
0
most recent commit
about 5 years ago
pa-ba/calc-comp
⭐
27
Coq proofs for the paper "Calculating Correct Compilers"
dependent packages
0
total releases
0
most recent commit
over 2 years ago
benjaminselfridge/logix
⭐
20
Logic Explorer - customizable proof construction tool for sequent calculi
dependent packages
0
total releases
0
most recent commit
about 4 years ago
Get A Weekly Email With Trending Calculus Projects
No Spam. Unsubscribe easily at any time.
Calculus
Proof
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
