Skip to content

feat(ModalLogic): IsAxiom and axiom L (Löb's theorem for modal logic) - #788

Open
fmontesi wants to merge 1 commit into
mainfrom
fmontesi/modal-axiom-l
Open

feat(ModalLogic): IsAxiom and axiom L (Löb's theorem for modal logic)#788
fmontesi wants to merge 1 commit into
mainfrom
fmontesi/modal-axiom-l

IsAxiom and axiom L

c43bd6d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar