Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
ProofCheck: Checking Mathematical Proofs written in TeX
(
pyvideo.org
)
2 points
by
ranit8
on April 14, 2012
|
hide
|
past
|
favorite
|
1 comment
b2rock
on April 14, 2012
[–]
It sounds promising, but it is hard to see how this would be useful on something that is anything above basic.
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
