?

Log in

Interests

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
inoah
Name:iNoah
Journal:thoughts thunk while thinking
Updated 5 years ago
fellow_traveler userpic
fellow_traveler
Name:Fellow Traveler
Journal:Keyboard Laxative Overdose
Updated 9 years ago