Trough

Hard implications

Initializing search

Home
Mathematics

Trough

Home
Mathematics
Mathematics
- Trough
  Trough
  - Mathlib
  - Tau Ceti
  - Fermat's Last Theorem (Imperial)
  - PNT+
  - Polynomial Freiman-Ruzsa
  - Equational Theories
    
    Equational Theories
    
    Basic theory of magmas to Enumerating Small Finite Magmas
    
    Equation Search to Hard implications
    
    Equation Search to Hard implications
    
    Equation Search
    
    E-Graphs
    
    Using the Vampire theorem prover
    
    Hard implications
    
    Hard implications
    
    Infinite magmas
    
    Finite magmas
  - Strong PNT (Math Inc)
  - Formal Conjectures
  - Fermat's Last Theorem (Anthropic)
  - Classification of Finite Simple Groups (Axiom)
  - Lean Pool
  - Formal Frontier
  - Coverage
  - Sources

Home
Trough
Equational Theories
Hard implications

Loading the map…

← Hard implications

Hard implications

Infinite magmas
Finite magmas

Loading dependency explorer…

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.

Developed with AutoformBot. Formalization source. Articles written for Trough are available under CC BY-SA 4.0; Mathlib's docstrings and signatures under Apache-2.0.