Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • SvenWille
  • aimans_playground
  • devel
  • johns_playground
  • master default protected
  • sTeX2.0
6 results
Created with Raphaël 2.2.020Mar3May17Apr8Feb25Nov30Jun13May521Dec3Nov24Oct23222122Sep21310May27Jan22Oct4Sep24Aug13Jul18May28Apr271721Mar89Feb42Jan23Dec17108613Nov29Oct262524232217523Aug1319Jul15107529Jun28272522212017May16151497527Apr514Mar14Feb76Nov517Sep15659Aug2131Jul30282726242316923May2221171410625Apr2427Mar25211821Feb1412828Jan25201817161411rebuiltmastermastergenerated filesdeveldevelupdategenerated filesrules for sqrt/powgenrated filesinversesremoving old, redundant committed junksTeX2.0sTeX2.0Added ComputationRule BoolAndjohns_playgroundjohns_playgroundAdded simplification-rules for abs, sqrt and exp in RealLiteralsgenerated filesliterals fixgenerated filesadd intellij module filemove .gitignore higher up so that view gets collapsed on gitlabMerge branch 'urtheories-strings' into develgenerated filesswitch to urtheories stringsUpdate math.mmtND rule fixesadd more notations to ND rulesadd missing equality ND rulesgenerated filesmerge Merge branch 'devel' of gl.mathhub.info:MitM/Foundation into develgenerated filespino messageno messageFix broken or eliminationAdd more ND convenience rules to as well as ND existential quantifier rulesAdd some convenience ND-rulesrebuiltupdatefixdecidable lt comparison functionSvenWilleSvenWilletarski grothendiecktarski grothendiecktarski grothendieckintervals and finsequencesgenerated files