Skip to content
@UniversalAlgebra

UniversalAlgebra

Popular repositories Loading

  1. UAResources UAResources Public

    Links, guidance, and advice about universal algebra learning and research

    10

  2. lean-ualib lean-ualib Public archive

    Lean library for Universal Algebra

    Lean 8

  3. Conferences Conferences Public

    A list of conferences in algebra, logic, and computer science.

    3

  4. term-conditions term-conditions Public

    Research on the complexity of some properties of algebras

    TeX 1

  5. ALH-2018 ALH-2018 Public

    Conference on Algebra and Lattice Theory in honor of Ralph Freese, Bill Lampe, and JB Nation

    HTML 1

  6. WCUA2013 WCUA2013 Public

    2013 Workshop on Computational Universal Algebra

Repositories

Showing 10 of 18 repositories
  • alg-csp Public

    A paper by Bergman and DeMeo on algebraic approaches to constraint satisfaction problems

    UniversalAlgebra/alg-csp’s past year of commit activity
    0 0 0 0 Updated Dec 1, 2021
  • TypeTopology Public Forked from martinescardo/TypeTopology

    Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

    UniversalAlgebra/TypeTopology’s past year of commit activity
    Agda 0 GPL-3.0 42 0 0 Updated Jan 12, 2021
  • ProvingGround Public Forked from siddhartha-gadgil/ProvingGround

    Proving Ground: Tools for Automated Mathematics

    UniversalAlgebra/ProvingGround’s past year of commit activity
    Jupyter Notebook 0 MIT 38 0 0 Updated Jan 31, 2020
  • term-conditions Public

    Research on the complexity of some properties of algebras

    UniversalAlgebra/term-conditions’s past year of commit activity
    TeX 1 MIT 0 0 0 Updated Jul 19, 2019
  • lean-ualib Public archive

    Lean library for Universal Algebra

    UniversalAlgebra/lean-ualib’s past year of commit activity
    Lean 8 Apache-2.0 0 2 (1 issue needs help) 0 Updated May 20, 2019
  • fg-free-lat Public

    Research on finitely generated free lattices

    UniversalAlgebra/fg-free-lat’s past year of commit activity
    0 MIT 0 0 0 Updated Jan 12, 2019
  • formalabstracts Public Forked from formalabstracts/formalabstracts
    UniversalAlgebra/formalabstracts’s past year of commit activity
    Lean 0 43 0 0 Updated Nov 23, 2018
  • UAResources Public

    Links, guidance, and advice about universal algebra learning and research

    UniversalAlgebra/UAResources’s past year of commit activity
    10 0 0 0 Updated Oct 16, 2018
  • fg-sub-var Public

    Research on finitely generated subvarieties of finitely generated varieties

    UniversalAlgebra/fg-sub-var’s past year of commit activity
    TeX 0 0 0 0 Updated Jun 26, 2018
  • ALH-2018 Public

    Conference on Algebra and Lattice Theory in honor of Ralph Freese, Bill Lampe, and JB Nation

    UniversalAlgebra/ALH-2018’s past year of commit activity
    HTML 1 0 0 0 Updated Jun 6, 2018
View all repositories

Top languages

Loading…

Most used topics

Loading…