fayalite

Author	SHA1	Message	Date
Cesar Strauss	a398f8f185	Define design safety, and prove it for 1-step and 2-step induction. All checks were successful / test (pull_request) Successful in 4m8s Details / test (push) Successful in 4m35s Details	2025-12-22 22:30:13 -03:00
Cesar Strauss	4fd4371054	Spelling.	2025-12-22 22:30:06 -03:00
Cesar Strauss	e54558d848	Demonstrates state with multiple variables and hidden state. Some checks failed / test (pull_request) Failing after 22s Details	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