search

leanprover-community / lean-liquid

💧 Liquid Tensor Experiment
176 stars 15 forks source link

Some modifications to the example files. #126

Closed adamtopaz closed 2 years ago

adamtopaz commented 2 years ago

Adds a few more details in docstrings, a few more examples, and uses /-! whenever possible.