Popular repositories Loading

1. fireworks fireworks Public

   A rust-based wasm firework simulation

   Rust 1 2

2. TruthTableGenerator TruthTableGenerator Public

   Forked from mrieppel/TruthTableGenerator

   Generates truth tables for formulas of sentential logic

   JavaScript

3. affineschemes affineschemes Public

   Ruby

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

5. LeanCondensed LeanCondensed Public

   Forked from dagurtomas/LeanCondensed

   Lean

6. Many-sorted-model-theory Many-sorted-model-theory Public

   Forked from Mathias-Stout/Many-sorted-model-theory

   A lean repository for building many-sorted logic, with a view towards model theory of valued fields

   Lean