Home
Feedback
FAQ
Getting Started
Discussions
Site operation discussions
Recent Posts
(new topic)
Departments
Courses
Research Papers
Design Docs
Quotations
Genealogical Diagrams
Archives
Graduate student at CMU.
logic programming, dependent types, logical frameworks
Recent comments
1 day 8 hours ago
1 day 22 hours ago
3 days 22 min ago
5 days 19 hours ago
5 days 21 hours ago
6 days 8 hours ago
6 days 8 hours ago
6 days 20 hours ago
1 week 10 hours ago
3 weeks 2 days ago