Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 1-tnfn-lucken-fullen
  • main default protected
2 results
Created with Raphaël 2.2.029May212019Update README.mdmainmainsolved #2 partial, created two little subtasks1-tnfn-lucken-f…1-tnfn-lucken-fullensolved #3solved #4added app_just_vars/_charsmade TnFn as an Instance of CFGStated CFG'sadded just_chars,just_vars and so onProof of TnFn, almost done, 3 admits left, all annoyingadded convert_injmore Grammar-Helpersadded more helper lemmasadded proof of derive_stepadded LICENSEinit commit, first workInitial commit