Project Information Project Information Present Develope the foundation for a distributed library of verified hardware compenents organized in the type space. Past I developed an extra-logical tool for getting restricted types in HOL90. The bucktoothed-swans made the final 3 of the byu 4A tournament.
Fellowships are no longer an issue though, sadly.
Its slow and ugly but its built on a good idea. Answers for the HOL Primer done at the Laboratory for applied logic. Here's the proposal and final report . The proposal and final report are even related somewhat. Notes for a class on how to use the Internet that I taught at LDS Bussines College in the winter of 1995.