This website requires JavaScript.
Dashboard
Explore
Help
Sign In
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