[DRAFT] Syntax #5

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Draft

Jealrock wants to merge 2 commits into main from syntax

Contributor

Jealrock commented Jul 10, 2025 •

edited

Loading

The idea is the following:

Develop a proof of a "Limit respects addition" theorem in AST.
Come up with syntax that we like for that proof.
Develop a parser and compare generated AST with the one from point 1.

Jealrock added 2 commits

July 10, 2025 22:40


          Trying to prove limit_add

818252a


          Parser developments

5f77a2a

Jealrock force-pushed the syntax branch from 03f70fd to 5f77a2a Compare

July 10, 2025 19:40

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet