Hacker News new | ask | show | jobs
Metaprogramming in Lean: An Overview (lakesare.brick.do)
5 points by lakesare 1188 days ago