konnov

konnov

👤 Developer

3 repositories on SrcLog

View on GitHub
3 Repos
51 Stars
11 Forks
18 Watchers

Repositories (3)

bymc konnov/bymc C

Byzantine model checker

21
leanda konnov/leanda Lean

Distributed algorithms in Lean 4

17
fault-tolerant-benchmarks konnov/fault-tolerant-benchmarks F*

Fault-tolerant distributed algorithms encoded in a formal language

13