[2001.10490] Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages - discu.eu

Hacker News

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages https://arxiv.org/abs/2001.10490 2 comments 21/8/2024

Linking pages

How the Lean language brings math to coding and coding to math - Amazon Science https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math 0 comments

Related searches:

Search whole site: site:arxiv.org

Search title: [2001.10490] Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

See how to search.

Submit link to: