goens/smf-ues-2022 goens/smf-ues-2022

  • Stars
    star
    1
  • Language Lean
  • License
    Apache License 2.0
  • Created almost 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
goens/smf-ues-2022
github

goens

Reviews

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

Repository Details

Repositorio del Minicurso "Demostración de teoremas interactiva asistida usando Lean"

More Repositories

1

lost-pop-lean

POP Memory Model in Lean
Lean
4
star
2

lean-power-calc

Lean
2
star
3

disaggregated-litmus

Python
1
star
4

enumstabilizers

My bachelors thesis in mathematics
C++
1
star
5

rand-code-graph

Haskell
1
star
6

epeg_isabelle

Isabelle
1
star