S

string-ident

Project information

An "Iris plugin" to add support for Gallina names in intro patterns to the Iris Proof Mode

18 Commits
2 Branches
0 Tags

README
BSD 3-Clause "New" or "Revised" License

Created on

April 07, 2020

Loading