Pinned Loading

1. facl facl Public

   Functional Access Control Language

   TypeScript 6

2. formalized-quicksort formalized-quicksort Public

   Implementation and Formal Verification of the Quicksort Algorithm

   Lean 5

3. impalab impalab Public

   A language-agnostic framework for orchestrating micro-benchmarks.

   Rust 1 1

4. polynomial-sequences-lean4 polynomial-sequences-lean4 Public

   A Lean4 formalization of "polynomial sequences" using the calculus of finite differences and linear algebra. This project proves some fundamental theorems relating a sequence whose general formula …

   Lean 1