joewatt95's Following
- alissa-tungBICMR
- ammkrn
- arthurpaulinoLurk Lab
- axiomed
- blanchetteLudwig-Maximilians-Universität München
- conrad-wattNanyang Technological University
- coolharsh55ADAPT Centre, Dublin City University
- david-christiansenCopenhagen, Denmark
- DavidSananSingapore Institute of Technology
- dranovSingapore
- dtumadUniversity of Minnesota
- EdAyersCMU
- eric-wieserUniversity of Cambridge
- frankiesardoLondon
- GopiandcodeA cool breeze
- JamesGallicchioCarnegie Mellon
- jinxinglimRuntime Verification Inc.
- joehendrixPrincipal Research Software Engineer at Lean FRO
- lab-v2United States of America
- leanprover
- lurk-lab
- marco-vassenaUtrecht University
- MaximilianAlgehedQuviq AB
- palinatolmachNTU
- racket
- runtimeverificationChampaign, IL
- shigoelAustin, TX
- siddhartha-gadgilIndian Institute of Science
- sorawee
- T-Brick@rabbit-hmi
- TiarkRompfFaculty at Purdue University
- tonskyBerlin, Germany
- tuProlog
- VietAnh1010National University of Singapore
- VMatthijsUtrecht University
- Xu-Jingyi