RyanGlScott / eliminatorsLinks
Dependently typed elimination functions using singletons
☆28Updated 7 months ago
Alternatives and similar repositories for eliminators
Users that are interested in eliminators are comparing it to the libraries listed below
Sorting:
- Proofs of the number of inhabitants of polymorphic functions☆23Updated 7 years ago
- Bring fusion to everyone☆13Updated 5 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi