Home
Feedback
FAQ
Getting Started
Discussions
Site operation discussions
Recent Posts
(new topic)
Departments
Courses
Research Papers
Design Docs
Quotations
Genealogical Diagrams
Archives
Developer of HOL theorem prover.
Higher order logic, specification and verification, functional programming.
Recent comments
2 weeks 6 days ago
43 weeks 1 day ago
43 weeks 1 day ago
43 weeks 1 day ago
1 year 13 weeks ago
1 year 17 weeks ago
1 year 19 weeks ago
1 year 19 weeks ago
1 year 21 weeks ago
1 year 26 weeks ago