Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • sec2
  • setoid
  • setoidtest
4 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.06Jul28Jun272625222119171514138643230May2928272625242322212019181713109876543230Apr29262524use lia instead of omegamastermasterdocsfinished LLClassicalsimplified BAESemanticsstarted with ll classicalrest except for lindenbaum tarski proofsstarted with soundness for LL and GQMLextracted Section6 definitionsfinished move to defined equality for baestarted switch to general equivalence relationfinished theorem 6.2almost theorem 6.2added presentationsimplified bae semanticsadded documentationfinished completness with fo completness admittedadded semantics for BAEA and FOremoved top neq bot axiomremoved todo and updated readmerest of lemma 2.6finished lemma 2.8finished soundnesseven more soundnessfinished exists topMerge branch 'sec2'more soundnesssec2sec2overview readmeadded notation for exvalremove finite codestarted everything, more inspiration from irissection 2 with infinite carrierfirst failed version with finiteMerge branch 'docu' into 'master'documented coderenamed Section5 -> Section5AppendixA and Section5WithContext -> Section5some more docuuse more eauto in GQMClassicalremoved LibTacticsmore readmetest readme