2 commits

Author	SHA1	Message	Date
Cesar Strauss	e54558d848	Demonstrates state with multiple variables and hidden state.	2025-12-08 22:00:49 -03:00
Cesar Strauss	46f3519c76	Demonstrate a preliminary mapping from HDL to Rocq. ... Starts with a very simple example, including a proof by induction.	2025-12-08 19:32:05 -03:00