I usually go by Dana, but my full name is Bohdan Liesnikov 🇺🇦
Stars
5
stars
written in Coq
Clear filter
Tricks you wish the Coq manual told you [maintainer=@tchajed]
A translation from Coq to Coq expanding and eliminating records (WIP)