Pinned Loading

1. Vera Vera Public

   Verified Verilog Equivalence checker, written and verified in Coq.

   Rocq Prover 11

2. Vericert-Fun Vericert-Fun Public

   Forked from ymherklotz/vericert

   A formally verified high-level synthesis tool based on CompCert and written in Coq.

   Coq

3. Advent-of-Code-2023 Advent-of-Code-2023 Public

   My solutions for advent of code 2023

   Haskell