FeatureIDE Organization
Users following FeatureIDE
Mohammad Hossein Khoshechin Jorshari
joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
Germany
Paul Bittner
pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG
@TUBS-ISF Würzburg