Popular repositories Loading

1. lisa lisa Public

   Forked from epfl-lara/lisa

   Proof assistant based on first-order logic and set theory

   Scala

2. slf slf Public

   Software Foundations Volume 6(Separation Logic Foundations)

   Rocq Prover

3. scala3 scala3 Public

   Forked from scala/scala3

   The Scala 3 compiler, also known as Dotty.

   Scala

4. Verification-of-Binomial-Queue Verification-of-Binomial-Queue Public

   Verification of Binomial Queues

   Lean

5. iris-lean iris-lean Public

   Forked from leanprover-community/iris-lean

   Lean 4 port of Iris, a higher-order concurrent separation logic framework

   Lean

6. aoc25 aoc25 Public

   Advent of Code 2025(Scala-version)

   Scala