EngineeringSoftware

EngineeringSoftware

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
9 Stars
1 Forks
6 Watchers

Repositories (2)

VeDebug EngineeringSoftware/VeDebug Java

Regression debugging tool for Java

6
mgql EngineeringSoftware/mgql Lean

First Lean 4 mechanization of the small-step semantics of ISO GQL

3