Isabelle/UTP
Users following isabelle-utp
Blake Edwards
blakete
ai + robots + aerospace @ MIT,
Previously ai + autonomous vehicles @ Boeing
Human on Earth Cambridge, MA
Jay Lee
Zeta611
Programming programming languages 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))
@ropas @KoreanTUG Seoul, Republic of Korea
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
