Pinned Loading

1. internal-mechanisms-fv internal-mechanisms-fv Public

   Slides of the september 2024 meetup in Tel Aviv

   Dafny

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

3. blockchain-audit/internal-mechanisms-fv blockchain-audit/internal-mechanisms-fv Public

   Internal Mechanisms of Formal Verification - Meetup - Set 2024

   Dafny