Jon

icon company Defense Unicorns

Results 1 repositories owned by Jon

CuBit

77
Stars
3
Forks
Watchers

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

verified publisher icon docandrew