Personal Data
- Username:
- metaforcy
- Joined:
- 2012-07-27 20:40:19
Projects
This is a list of open source software projects that metaforcy is associated with:
- metarec algorithmic rule systems for Isabelle Last Updated:
- nonfree-data Nonfreely-Generated Datatypes in Isabelle/HOL Last Updated:
