search

leanprover-community / lean-client-python

Python talking to the Lean theorem prover
Apache License 2.0
39 stars 6 forks source link

Add a LICENSE. #22

Closed Julian closed 3 years ago

Julian commented 3 years ago

(Extracting some small things on the way to #20)

PatrickMassot commented 3 years ago

This is ok for me, but I'd like to have @jasonrute's opinion too.