samvang

Pinned Repositories

twmc
Language:OCaml1 1 01
LTL-SAT-Solver-by-Reynolds-Tableaux
This is part of my research internship at IRIF (Institut de Recherche en Informatique Fondamentale). I implemented Mark Reynolds' algorithm to decide satisfiability of LTL formulas without "Until."
Language:OCaml0 1 00
LFTCM2024_Rocq
Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024
Language:Coq8 3 01
UIML
Uniform Interpolation for Modal Logics
Language:Coq4 1 211
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 53 362298
mathlib4
The math library of Lean 4
Language:Lean1.6k 36 428355
texpresso
TeXpresso: live rendering and error reporting for LaTeX
Language:C428 9 5319
ostrowski2024
Language:Lean2 2 00
LFTCM2024
Repository for the conference LFTCM2024
Language:Lean7 7 06
StoneDualityInLean
Language:Lean2 0 00

samvang's Repositories

samvang/StoneDualityInLean
Language:Lean2 0 00
samvang/ARENA_3.0