Hacker News new | ask | show | jobs
by rubynl 3965 days ago
Looks very interesting! I am very curious how a non-trivial program with proof looks :)