Explore projects

K

Thomas Colcombet / knowledge

0

Updated Mar 10, 2024

0 0 0 0

Updated Mar 10, 2024
E

Maryline Zhang / Exact abstraction

0

Updated May 13, 2024

0 0 0 0

Updated May 13, 2024
C

Alexis Saurin / Coq Lmfi 2023

0

Updated May 21, 2024

0 0 0 0

Updated May 21, 2024
N

Pierre Letouzey / natded
Creative Commons Zero v1.0 Universal

Coq encoding of Natural Deduction, flavour of Predicate Calculus, up to completeness theorem

0

Updated Jun 12, 2024

0 0 0 0

Updated Jun 12, 2024
C

cduce / cduce
MIT License

5

Updated Sep 05, 2024

5 3 1 22

Updated Sep 05, 2024

Prev