Owner

maxsnew

1 indexed repository · View on GitHub

grammars-and-semantic-actions
Intrinsic Verification of Formal Grammar Theory

Agda · 28 stars

Beginner friendly Everything

Open All

Switch Tensor Epsilon and Literal to Inductive Equality Type Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

maxsnew/grammars-and-semantic-actions#49 · Opened Apr 24, 2026
Extract Agda to Haskell and Test Performance Open

maxsnew/grammars-and-semantic-actions#31 · 4 comments · 2 assignees · Opened Feb 24, 2025
Detailed Canonicity proof Open

maxsnew/grammars-and-semantic-actions#9 · 1 assignee · Opened Sep 10, 2024
IO Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

maxsnew/grammars-and-semantic-actions#5 · 1 comment · Opened Sep 10, 2024
Include readable proofs with the Agda code Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

maxsnew/grammars-and-semantic-actions#4 · 1 comment · Opened Sep 10, 2024

Get new issues in your inbox