Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
microcolonel
on June 15, 2015
|
parent
|
context
|
favorite
| on:
PeaCoq, a UI for Coq
I use proof general(which also supports Isabelle), but I'm aware that there are in fact some people in the world who have not seen the light of St. Ignucius, and for those I'm sure this is plenty cool.
Good job. :)
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Good job. :)