Type Theory, Program Verification, Theorem Proving, Specification Languages
The King is Watching condenses kingdom-building strategy to a single screen
arstechnica.comยท4h
Loading...Loading more...
Type Theory, Program Verification, Theorem Proving, Specification Languages