GitHub repository: shingarov/ISA
Primary language: Smalltalk
Description: Formal reasoning about ISA Semantics from complete and authoritative specifications