Beauty pass, adding notations and docstrings, getting rid of · leanprover-community/lean-sensitivity@4feaed5 · GitHub

This repository has been archived by the owner on Apr 25, 2020. It is now read-only.

Commit

Beauty pass, adding notations and docstrings, getting rid of

Browse files

useless equation compiler usage.

Loading branch information

Patrick Massot committed Aug 22, 2019

1 parent af28ecf commit 4feaed5