KTH STEP group's repositories
itppv-course
Interactive Theorem Proving course using HOL4
HolBA-multicore
Binary analysis in HOL
probability-jam
We collect theory files and references for learning probability theory with HOL4.
Language:CoqMIT000
EmbExp-BalRob
Embedded Experiments - balancing robot demo
EmbExp-ProgPlatform
Embedded Experiments - the program platform
kth-step.github.io
KTH STEP group's website
step-hol-utils
Utility functions and tactics for HOL4