Personal Data
- Username:
- ndmitchell
- Joined:
- 2013-01-14 21:38:30
Projects
This is a list of open source software projects that Neil Mitchell is associated with:
- Isabelle/HOLCF Standard Prelude A formalization of Haskell's standard prelude in Isabelle/HOLCF. Last Updated:
