Pinned Loading

1. nasa-jpl/L4YAML nasa-jpl/L4YAML Public

   A YAML 1.2.2 parser in Lean 4 with the goal of **verified correctness**

   Lean 2

2. doc-verification-bridge doc-verification-bridge Public

   What theorems assume, prove, validate, and depend on?

   Lean 3

3. opencaesar/metrology-vocabularies opencaesar/metrology-vocabularies Public

   A set of vocabularies about metrology

   1