pi8027 / record-expansion

A translation from Coq to Coq expanding and eliminating records (WIP)

pi8027/record-expansion Stargazers

liesnikov

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.