Lîm Tsú-thuàn Posts Notes Projects Talks Site Roll

Algebraic Graph [algebraicgraph]

2023 - 2025 · Lîm Tsú-thuàn

Formalize Algebraic graphs with class in Lean.

Context

Projects [projs]

References

Reference. Algebraic graphs with class [mokhov2017]