GitHub repository: siddhartha-gadgil/lean-loris
Primary language: Jupyter Notebook
Created: 2022-01-03T04:30:56Z
Description: Experiments with some ways of automating reasoning in lean 4