A modest formal verification, in first-order predicates and linear temporal logic, of the structure of the untyped lambda calculus grammar in Alloy Analyzer.
-
Notifications
You must be signed in to change notification settings - Fork 0
A modest formal verification, in first-order predicates and linear temporal logic, of the structure of the untyped lambda calculus grammar in Alloy Analyzer.
License
augustty1/lambda-calculus-formal-verification
About
A modest formal verification, in first-order predicates and linear temporal logic, of the structure of the untyped lambda calculus grammar in Alloy Analyzer.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published