You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Done for Lambek calculus, hybrid proofs and lambda grammar proofs. Next up, the Displacement calculus. Shifting that to a new issue and closing this one.
No description provided.
The text was updated successfully, but these errors were encountered: