markusdemedeiros - Robuta Search

https://github.com/markusdemedeiros/iris-lean GitHub - markusdemedeiros/iris-lean: Lean 4 port of Iris, a higher-order concurrent separation... Lean 4 port of Iris, a higher-order concurrent separation logic framework - markusdemedeiros/iris-lean