Skip to content
Snippets Groups Projects
Unverified Commit 70cc5763 authored by Marcin Wojnarowski's avatar Marcin Wojnarowski Committed by GitHub
Browse files

Extract definitions/theorems of functions, add Sigma and Pi (#222) 


* Move theorems about functions

* Add function specific nomenclature

* Add constant functions, replace definitions in types module

* Add Sigma and Pi definitions

* Remove app from TypeLib

* Revert changes to ADTExample

* Simplify FunctionProperties imports

---------

Co-authored-by: default avatarSimonGuilloud <simon.guilloud@epfl.ch>
parent c5148da4
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 2180 additions and 1294 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment