Add Apache 2.0 license.

ufmg-smite / lean-smt

Tactics for discharging Lean goals into SMT solvers.

Apache License 2.0

97 stars 19 forks source link

Closed abdoo8080 closed 2 years ago

abdoo8080 commented 2 years ago

This PR adds licensing information to the repository as a whole as well as individual source files.