Miki Tanaka

mktnk3

UNSW

Sydney, Australia

Organizations

Languages

Standard ML100%

Repositories

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

00Updated 1 year ago

mktnk3/cakemlFork

CakeML: A Verified Implementation of ML

Standard ML00Updated 2 years ago

mktnk3/seL4Fork

The seL4 microkernel

00Updated 5 years ago

mktnk3/l4vFork

seL4 specification and proofs

00Updated 5 years ago

Miki Tanaka

Organizations

Languages

Repositories

Gists

Recent Activity