Workshop-Polyhedra-In-Lean

Popular repositories Loading

1. Polyhedral Polyhedral Public

   Forked from ooovi/Polyhedral

   Getting polyhedral geometry to lean.

   Lean 6 4

2. WorkshopReport WorkshopReport Public

   A repository to coordinate writing a workshop report document on the 2026 Polyhedra In Lean workshop.

   TeX