mjendrusch/lean-falso mjendrusch/lean-falso

  • Stars
    star
    2
  • Language Lean
  • License
    MIT License
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mjendrusch/lean-falso
github

mjendrusch

Reviews

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

Repository Details

The falso axiom system in Lean

More Repositories

1

nimna

DNA/RNA folding in Nim
Nim
22
star
2

metric

Dimensionful types for Nim.
Nim
19
star
3

torchsupport

Supporting tools for PyTorch in biology research.
Python
19
star
4

pytorch-histogan

PyTorch-HistoGAN implementation.
Python
4
star
5

mobi-talks

LaTeX-Template for talk summaries for students of the Heidelberg Molecular Biotechnology master's programme
TeX
3
star
6

monoidal-categories-reboot

monoidal categories in the Lean theorem prover
Lean
2
star
7

betafold

Python
2
star
8

assoc

Hacky monoidahedra in Python.
Jupyter Notebook
2
star
9

learning-ifc

Python
2
star
10

protsupport

Python
1
star
11

acr-dms

Jupyter Notebook
1
star