Commits

Commit history

1. Commits on Feb 12, 2026

   • finished proof for pred

     JasonAlanVeenendaal

     committed
     a26bdc9View commit details

     Copy full SHA for a26bdc9

     Browse repository at this point

   • added proof of consistency

     JasonAlanVeenendaal

     committed
     076dac9View commit details

     Copy full SHA for 076dac9

     Browse repository at this point
2. Commits on Jan 4, 2026

   • update docs

     amarmaduke

     committed
     83ac20aView commit details

     Copy full SHA for 83ac20a

     Browse repository at this point

   • restructure and new strong norm

     amarmaduke

     committed
     5faa158View commit details

     Copy full SHA for 5faa158

     Browse repository at this point
3. Commits on Dec 31, 2025

   • finish sn proof for one setup

     amarmaduke

     committed
     9546c6dView commit details

     Copy full SHA for 9546c6d

     Browse repository at this point
4. Commits on Dec 21, 2025

   • fix docs

     amarmaduke

     committed
     120bf83View commit details

     Copy full SHA for 120bf83

     Browse repository at this point

   • system f with basic metatheory

     amarmaduke

     committed
     9f2a9bdView commit details

     Copy full SHA for 9f2a9bd

     Browse repository at this point
5. Commits on Dec 9, 2025

   • draft syntax

     amarmaduke

     committed
     9809178View commit details

     Copy full SHA for 9809178

     Browse repository at this point
6. Commits on Nov 8, 2025

   • initial setup

     amarmaduke

     committed
     7879ae9View commit details

     Copy full SHA for 7879ae9

     Browse repository at this point

   • Initial commit

     amarmaduke

     authored
     1cbc054View commit details

     Copy full SHA for 1cbc054

     Browse repository at this point