nixpkgs / cedille - An interactive theorem-prover and dependently typed programming language, based on extrinsic (aka Curry-style) type theory

Homepage - https://cedille.github.io/

License - MIT

Maintainers - Mario Rodas - Matthew Pickering

Releases

1.1.2 (expand/collapse)
From commit 05ca995e to 00460bd6
1.1.1 (expand/collapse)
From commit 06c0f165 to 06c0f165
1.1.2 (expand/collapse)
From commit 06a4f7df to 075da392
1.1.1 (expand/collapse)
From commit 0769fe27 to 022d7207
1.1.2 (expand/collapse)
From commit 06749ba3 to 0597dcb0
1.1.1 (expand/collapse)
From commit 05fe6112 to 05fe6112
1.1.2 (expand/collapse)
From commit 073f83cf to 0096eb92
1.1.1 (expand/collapse)
From commit 01698009 to 01698009
1.1.2 (expand/collapse)
From commit 028f7114 to 073352bd
1.1.1 (expand/collapse)
From commit 0218f30a to 04de674c
1.0.0 (expand/collapse)
From commit 0767de3d to 0767de3d
1.1.1 (expand/collapse)
From commit 00263c93 to 00610756
1.0.0 (expand/collapse)
From commit 00a52224 to 00a52224
1.1.1 (expand/collapse)
From commit 04cc8385 to 02ea1812
1.0.0 (expand/collapse)
From commit 0045164b to 0045164b
1.1.1 (expand/collapse)
From commit 03edc1e5 to 06fad89b
1.0.0 (expand/collapse)
From commit 0231273a to 0231273a
1.1.1 (expand/collapse)
From commit 06026f28 to 037c1565
1.0.0 (expand/collapse)
From commit 0778b2c9 to 0778b2c9
1.1.1 (expand/collapse)
From commit 06041661 to 07458c2f
1.0.0 (expand/collapse)
From commit 013ddbeb to 013ddbeb
1.1.1 (expand/collapse)
From commit 0739389b to 020dec07
1.0.0 (expand/collapse)
From commit 01d1f776 to 0287279b