☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (3)
Dependencies (5)
Dependents (1)
verso-slides
0.1.0
Displaying
1-1
of
1
packages depending on
leanprover/verso-slides
Sort by
Package Name
lexzaiello/Dcc
uses
2b5ce1f
The dependently-typed combinator calculus (DCC).
1
20
verso-slides0.1.0verso-slides0.1.0