6 posts
@lobsters A SAT Attack on Tarski's High School Algebra Problem #Math #Algebra #Logic
@robbie_lyman Topologies on Free Products #Math #Topology #Algebra
@robbie_lyman Topologies, Groups, Graphs #Mathematics #Topology #Algebra
@hackernews Show HN: Wyrm - Solve algebra by touch, built on an open-source soundness engine #HackerNews #Tech #Algebra
@hackernews Show HN: Prela - Purely Algebraic Relation Combinators #HackerNews #Tech #Algebra
@robbie_lyman Subgroupoids of Groups #Mathematics #Algebra #Groups