Generate `idem`, `unit` and `functional` axioms - Githubissues

runtimeverification / pyk

Python tools for the K Framework

BSD 3-Clause "New" or "Revised" License

13 stars 2 forks source link

Generate `idem`, `unit` and `functional` axioms #977

Closed tothtamas28 closed 6 months ago