Register
|
Log in
|
FAQ
[?]
CiteULike
News
CiteGeist
Discussion
Journals
Browse current issues
Groups
Search groups
Sponsored link
Sponsored link
Library
Groups
Watchlist
Profile
Blog
gabgas's Groups
gabgas is a member of 1 public group
Theorem Proving
This group is meant for sharing interesting publications about theorem proving. I would like to focus it on proof planning or lemma generation. Feel free to join it.
1 user, 6 articles, 0 forum threads.