- logic
- formal math
- automated deduction
- c++
- formal methods
- Novosibirsk
- https://www.linkedin.com/in/dmitrivlasov/
Pinned Loading
-
-
-
spec-checker
spec-checker PublicA structural and behavioral specification checker for codebases.
Rust
-
area9innovation/flow9
area9innovation/flow9 PublicPlatform for safe, easy and productive programming of complex, multi-platform apps with a modern user interface
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.




