Skip to content

@isabelle-utp Isabelle/UTP

@Zeta611
Jay Lee Zeta611
λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))

@ropas @snulife @KoreanTUG Seoul, Republic of Korea

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@omasanori
Masanori Ogino omasanori

Japan, or anywhere else

@laila-fangyan
laila-fangyan
@kuaiquchifan
kuaiquchifan