Skip to content

🚧 🦆 Inductive Types#295

Draft
TOTBWF wants to merge 5 commits into
mainfrom
theory-of-inductives
Draft

🚧 🦆 Inductive Types#295
TOTBWF wants to merge 5 commits into
mainfrom
theory-of-inductives

[WIP] Rework 'DescMethod', start adding in 'Elem' machinery

32f9e4c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs