Cesar Strauss 02de335e46 Demonstrate a preliminary mapping from HDL to Rocq. ... Starts with a very simple example, including a proof by induction.		2025-12-08 19:21:24 -03:00
..
rocq_playground.v	Demonstrate a preliminary mapping from HDL to Rocq.	2025-12-08 19:21:24 -03:00