Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
1 result
Created with Raphaël 2.2.023May191817161513109865432130Apr2827262524231910328Mar2720161564Jan3131Dec2829Nov22211918154Aug11Jul4324May23161413subeffectsmastermastercleanupmore generic effect reificationlogical relation based on WPpairsadequate logical relationallow failure in reificationcleanupclean up, working on reductions generic in effectsget rid of all the admitsfinish the istep_hom inversion lemmaworking with aminworking on ic_bind, clearing some stuff upworking more on bindmore principles of interaction treesworking on an adeqacy and logrelFinish adequacy for ICworking on the IC for interaction treesbump iris versionsome tweakagecleanupfinish the adequacy proofwip adequacyfinish the fundamental propertyprove some lemmas about syntaxwipa bit of cleanupif compatiblity lemmacleanup a little bitbind lemmawip compatibility lemmasfix the logrel definitionworking on the logrelworking on the logrelcleanupadd the soundness lemmacorrect interpretation for natopsupdate on the substitution lemmabetter soundness lemmaswip