2019 03 26 Meeting

Jump to bottom

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

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

Suggestions

Plan for integration
Weaken axioms
paper