All Categories → No Category → proof-pattern

Top 1 proof-pattern open source projects

gentle-intro-to-reflection

A slow-paced introduction to reflection in Agda. ---Tactics!

✭ 58

Agda tutorial exercise tactics agda proof-pattern

1-1 of 1 proof-pattern projects