logsem

logsem

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
37 Stars
8 Forks
8 Watchers

Repositories (1)

aneris logsem/aneris Rocq Prover

Program logic for developing and verifying distributed systems

37