Skip to content

feat(ModalLogic/LambdaCalculus): modal grind set and proof of type safety for simply typed lambda calculus - #840

Merged
chenson2018 merged 9 commits into
mainfrom
fmontesi/modal-lambda
Aug 30, 2026
Merged

feat(ModalLogic/LambdaCalculus): modal grind set and proof of type safety for simply typed lambda calculus#840
chenson2018 merged 9 commits into
mainfrom
fmontesi/modal-lambda

restore one more proof

68a5edf
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar