Skip to main content
simonzack's user avatar
simonzack's user avatar
simonzack's user avatar
simonzack
  • Member for 9 years, 5 months
  • Last seen more than a month ago
awarded
comment
Proof assistants for mathematics
@darijgrinberg A little late, but the jEdit interface comes shipped by default now instead of emacs, imho this is very usable with almost no learning curve. I'm not sure if the eclipse version is still active, it's stuck on the pre 2013 version and the newest is 2015.
awarded