Y
Hacker News
new
|
ask
|
show
|
jobs
by
QuesnayJr
104 days ago
What's most impressive about it is that it uses a system, Megaladon, which is pretty obscure. There isn't that much documentation or examples, but it can still formalize an advanced undergraduate textbook.