Log in


Try searching posts and comments with the new LiveJournal text search

Find people and communities interested in:
Modify your interests based on those of:

Results for communities interested in "theorem proving"

2 matches:

  • ai_research - Artificial Intelligence Research (Updated 3 years ago)
  • compscibooks - Computer science books (Updated 6 years ago)

Results for users interested in "theorem proving"

More fun stuff can be found on the interests page.

2 matches:

inoah userpic
Journal:thoughts thunk while thinking
Updated 5 years ago
fellow_traveler userpic
Name:Fellow Traveler
Journal:Keyboard Laxative Overdose
Updated 9 years ago