2019 03 26 Meeting

Jump to bottom Edit New page

Cyril Cohen edited this page Mar 26, 2019 · 5 revisions

What has been done meanwhile
- rebase pull requests
- formalization of Hahn-Banach (partial functions)

Suggestions

Plan for integration
Weaken axioms