Deducteam

icon indicating a website link https://deducteam.gitlabpages.inria.fr/

Results 3 repositories owned by Deducteam

lambdapi

271
Stars
35
Forks
Watchers

Proof assistant based on the λΠ-calculus modulo rewriting

verified publisher icon Deducteam

Dedukti

185
Stars
22
Forks
Watchers

Implementation of the λΠ-calculus modulo rewriting

verified publisher icon Deducteam

Logipedia

57
Stars
11
Forks
Watchers

An encyclopedia of proofs

verified publisher icon Deducteam