Pinned Repositories
github-slideshow
A robot powered training repository :robot:
metacoq
Metaprogramming in Coq
Software-Foundations
repo where I am solving exercises from the Software-Foundations books
pierbenjgir's Repositories
pierbenjgir/github-slideshow
A robot powered training repository :robot:
pierbenjgir/metacoq
Metaprogramming in Coq
pierbenjgir/Software-Foundations
repo where I am solving exercises from the Software-Foundations books