Files

LAMR

Marijn Heule

and

Marijn Heule

Feb 6, 2025

99f4779 · Feb 6, 2025

Name		Name	Last commit message	Last commit date
parent directory ..
Examples		Examples	resolution	Feb 6, 2025
User		User	update	Dec 18, 2023
Util		Util	slides	Feb 3, 2025
bin		bin	run architecture specific CaDiCaL	Jan 11, 2025
System.lean		System.lean	bump Lean/Mathlib	Jun 27, 2024