Personal Data
- Username:
- kfl
- Joined:
- 2000-08-11 08:40:31
Projects
This is a list of open source software projects that Ken Friis Larsen is associated with:
- HOL theorem-proving system Last Updated:
-
MLKit Full-blown Standard ML Compiler Last Updated:
- Standard ML Last Updated:
- mGTK Last Updated: