Projects

Updated 6 months ago

agda • Rank 21.2 • Science 62%

Agda is a dependently typed programming language / interactive theorem prover.

agda dependent-types programming-language proof-assistant type-theory

Updated 6 months ago

rzk • Rank 14.9 • Science 54%

An experimental proof assistant based on a type theory for synthetic ∞-categories.

category-theory haskell homotopy-type-theory proof-assistant

Updated 6 months ago

master-project • Rank 1.1 • Science 67%

Master Thesis Project at LARA (EPFL)

epfl formal-methods lisa proof-assistant proof-system sequent-calculus set-theory

Updated 6 months ago

https://github.com/altaris/opetopy • Science 23%

Proof assistant for opetope and opetopic set derivation systems :snake: :mortar_board:

opetope proof-assistant

Updated 6 months ago

leanproject • Science 44%

A template for blueprint-driven formalization projects in Lean.

formal-mathematics formalisation-mathematics formalised-mathematics lean-blueprint lean-theorem-prover lean4 leanblueprint mathematical-programming mathematics proof-assistant theorem-proving

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

agda • Rank 21.2 • Science 62%

rzk • Rank 14.9 • Science 54%

master-project • Rank 1.1 • Science 67%

https://github.com/altaris/opetopy • Science 23%

leanproject • Science 44%