aneris
Program logic for developing and verifying distributed systems
32 stars
10 watching
8 forks
Language: Coq
last commit: 8 days ago coqdistributed-systemsirisseparation-logic
Program logic for developing and verifying distributed systems