1. 06 May, 2020 1 commit
  2. 05 May, 2020 1 commit
  3. 04 May, 2020 1 commit
  4. 24 Mar, 2020 1 commit
    • Sergey Goncharov's avatar
      various improvements · b8414a14
      Sergey Goncharov authored
      most notably, adding the missing proof that L-wave and L-bar are Elgot
      to that end, unifying the constructing of L-bar and L-wave, along the way
      fixing various level issues
      b8414a14
  5. 14 Feb, 2020 2 commits