Skip to main content

Browse the archive

Revision 8d576c70957c0dce2053f2a7272b231f41c3d43f authored by Matthieu Sozeau on 04 January 2021, 09:30:58 UTC, committed by GitHub on 04 January 2021, 09:30:58 UTC 
Merge pull request #538 from jakobbotsch/eval-no-axioms
 
Remove evaluation of axioms from wcbv and add proof of consistency using safe reduction + canonicity
2 parent s 18d18e0 + f1655e7
History
File Mode Size
src
back to top