Skip to content

@testsmt Project Yin-Yang for SMT Solver Testing

@pmbittner
Paul Bittner pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG

@TUBS-ISF Würzburg

@hisaikii
hisaikii