Giters

toontran / lean-winter

Personal project for Lean ATP exploration

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Personal project for Lean ATP exploration

License:MIT License

Languages

Language:Jupyter Notebook 99.9%Language:Python 0.1%Language:Lean 0.0%