Agda

recent posts

• java on linux
• Commutator as Least Fixed Point
• Conferences in Algebra
• Congruences of Partial Algebras
• 3-SAT and partition lattices

archives

recent git activity

updating...

found on