miguelpagano/universal-algebra miguelpagano/universal-algebra

  • Stars
    star
    1
  • Language Agda
  • Created about 7 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
miguelpagano/universal-algebra
github

miguelpagano

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formalization of Universal Algebra

More Repositories

1

nominal-sets

Agda
4
star
2

equ

Chequeador de demostraciones de lógica ecuacional
Haskell
2
star
3

yahc

yahc is a checker for derivations of propositional calculus. Its main goal is to help first year students.
Haskell
1
star