DevinTDHa/natural-number-game-lean4 DevinTDHa/natural-number-game-lean4

  • Stars
    star
    2
  • Language Lean
  • License
    GNU General Publi...
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
DevinTDHa/natural-number-game-lean4
github

DevinTDHa

Reviews

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

Repository Details

Natural Numbers Game in Lean 4

More Repositories

1

precompiled-tf-jni-m1

8
star
2

spark-nlp-starter-scripts

Jupyter Notebook
2
star
3

PML-SchNet

Project Machine Learning WS23/24: SchNet: A continuous-filter convolutional neural network for modeling quantum interactions
Python
2
star
4

DevinTDHa

Config files for my GitHub profile.
1
star