Eternal-dance's repositories
Language:Isabelle000
Isabelle
Learn how to use Isabelle to do verification
000
mastering_digital_design
Course webpage for the MSc ADIC lab on "Mastering Digital Design"
Language:Verilog000
Learn how to use Isabelle to do verification
Course webpage for the MSc ADIC lab on "Mastering Digital Design"