Hacker News new | ask | show | jobs
Formalized Mathematics (Open Access Journal) (reference-global.com)
1 points by danielam 15 days ago