?

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 "coq"

4 matches:

  • category_theory - Теория категорий (Updated 7 months ago)
       Церковь Свидетелей Локальной Декартовой Замкнутости
  • scar_freckles - Cicatrice et tâches de rousseur: la communauté H/R (Updated 6 years ago)
  • rouxattitude - Weasley est notre roi (Updated 6 years ago)
  • declarative - Declarative Programming Languages (Updated 10 years ago)

Results for users interested in "coq"

More fun stuff can be found on the interests page.

14 matches:


viceindustrious userpic
viceindustrious
Name:viceindustrious
Journal:sleepest thou, companion dear?
Updated 1 month ago
deni_ok userpic
deni_ok
Name:Долой кровавую ведьму!
Updated 2 months ago
alexey_rom userpic
alexey_rom
Name:alexey_rom
Journal:Alexey Romanov
Updated 1 year ago
delulety userpic
delulety
Name:delulety
Journal:sleepest thou, companion dear?
Updated 2 years ago
pod_baobabom userpic
pod_baobabom
Name:Ilya Sergey
Journal:Мысли и вычисления вслух
Updated 3 years ago
ekorber userpic
ekorber
Name:Erin
Journal:I never post here.
Updated 4 years ago
no default userpic
speleologic
Name:speleologic
Updated 6 years ago
exfandescanons userpic
exfandescanons
Name:Ron Weasley
Journal:Ronald Bilius Weasley
Updated 6 years ago
taral userpic
taral
Name:JP Sugarbroad
Updated 7 years ago
adamch userpic
adamch
Name:Adam Chlipala
Updated 8 years ago
vividha userpic
vividha
Name:vladimir (voevodsky)
Updated 8 years ago
no default userpic
wiwzik
Name:wiwzik
Journal:Написание программ на Прологе
Updated 8 years ago
no default userpic
guoyu
Name:guoyu
Journal:Guo, Yu's Blog
Updated 10 years ago
irishshark userpic
irishshark
Name:irishshark
Updated 13 years ago