HackerTrans
Top
New
Trends
Comments
Past
Ask
Show
Jobs
Search stories…
⌘K
Sign in
pirriperdos · HackerTrans
pirriperdos
no profile record
comments
pirriperdos
·
13 ปีที่แล้ว
·
discuss
It is not automated theorem proving, but computer verified proving