Projects with this topic
Sort by:
-
(Partial) Implementation of my master's thesis' results in Lean
Updated -
Implementation of Amenable Groups in Lean
Updated
(Partial) Implementation of my master's thesis' results in Lean
Implementation of Amenable Groups in Lean