jonaprieto / agda-propLinks
A Library for Classical Propositional Logic in Agda
☆16Updated 5 years ago
Alternatives and similar repositories for agda-prop
Users that are interested in agda-prop are comparing it to the libraries listed below
Sorting:
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆19Updated 3 years ago
- Meta-programming utilities for Agda.☆19Updated last month
- A slow-paced introduction to reflection in Agda. ---Tactics!