Litex: The First Formal Language Learnable in 2 Hours (via aarroyoc) — discussion

#formalmethods