Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
rademaker
on Dec 22, 2019
|
parent
|
context
|
favorite
| on:
Cyc
I have been working on that direction with Lean Theorem Prover (
https://leanprover.github.io
). There is also works using Coq (
https://link.springer.com/chapter/10.1007/978-3-642-35786-2_...
)
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
