Skip to content

Rocq support library for Sail 0.20

Latest
Latest

Choose a tag to compare

View all tags
@bacam bacam released this 20 Oct 09:47
· 2 commits to main since this release
0.20
c812fac
  • Port to dune
  • Rocq 9 compatibility
  • Support for more recent versions of the concurrency interface
  • Simplify some definitions
Assets 2
Loading