Skip to content

LLM-assisted mechanized metatheory for act#219

Open
zoep wants to merge 5 commits into
mainfrom
mechanization
Open

LLM-assisted mechanized metatheory for act#219
zoep wants to merge 5 commits into
mainfrom
mechanization

Add Phis and entailements; align with tech report and fix bugs

0b2f2db
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar