Chantal Keller chantal.keller

0 Followers · 0 Following

• Joined on 2018-05-29

Repositories Projects Packages Public Activity Starred Repositories

chantal.keller pushed to master at Isabelle_DOF/Isabelle_DOF 2018-06-06 17:27:22 +00:00

7eb9082628 Merge branch 'master' of git.logicalhacking.com:HOL-OCL/Isabelle_DOF

30b3526fb2 BAC2017: more structure

Compare 2 commits »

chantal.keller pushed to master at Isabelle_DOF/Isabelle_DOF 2018-06-06 06:37:52 +00:00

80f92c168c BAC2017: tried proofs

chantal.keller pushed to master at Isabelle_DOF/Isabelle_DOF 2018-06-05 18:56:47 +00:00

3b7a029d35 BAC2017: first two questions

chantal.keller pushed to master at Isabelle_DOF/Isabelle_DOF 2018-06-05 17:20:48 +00:00

49f1ed5200 BAC2017: removed errors