Found 4 repositories(showing 4)
rodrigogribeiro
Porting of software foundations book to Agda
notogawa
"Software Foundations" Agda challenge
lives-group
Porting of software foundations to Agda
ystael
Exercises from Software Foundations, in Coq and Agda
All 4 repositories loaded