Projects in Awesome Lists tagged with proof-pattern
A curated list of projects in awesome lists tagged with proof-pattern .
https://github.com/alhassy/gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
agda exercise macro proof-pattern tactics tutorial
Last synced: 24 Jan 2026
