Skip to content

v1.0.4

Latest
Latest
Compare
Choose a tag to compare
@berpeti berpeti released this 11 Mar 12:26
v1.0.4
2b9511f
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

What's Changed

  • Unnecessary axioms, bisimulations, renaming equivalence in the concurrent setup and Coq 8.18 by @berpeti in #25

Full Changelog: v1.0.3...v1.0.4

Contributors

berpeti
Assets 2