User loginNavigation |
The New Twelf WikiWe are pleased to announce the Twelf Wiki, a major new source of documentation about Twelf: Twelf is a tool used to specify, implement, and prove properties of deductive systems. The Twelf Wiki includes:
We invite you to come share what you know, learn from what's there, and ask questions about what's not. - The Twelf Wiki Team (I know many of the people working on this, and they've put in a lot of effort to make a really useful resource.) |
Browse archives
Active forum topics |
Recent comments
6 weeks 14 hours ago
6 weeks 18 hours ago
6 weeks 18 hours ago
28 weeks 1 day ago
32 weeks 3 days ago
34 weeks 1 day ago
34 weeks 1 day ago
36 weeks 5 days ago
41 weeks 3 days ago
41 weeks 3 days ago