Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 8, 2023

• just removed some trailing spaces ... subscripts are ok in my emacs... maybe a font problem?

  TimRichter

  committedDec 8, 2023
  8248564

Commits on Nov 24, 2023

• Vortext mit Erklärung zu Designentscheidungen

  TimRichter

  committedNov 24, 2023
  8ce1479

• Update README.md

  janlemcke

  authoredNov 24, 2023
  d4f34e1

• Finished.

  janlemcke

  committedNov 24, 2023
  f20ec14

Commits on Oct 17, 2023

• Finished first proof. :)

  janlemcke

  committedOct 17, 2023
  b3fcc8a

Commits on Oct 12, 2023

• 2 holes filled

  TimRichter

  committedOct 12, 2023
  2a8df31

• Merge branch 'main' of github.com:janlemcke/Cartesian into main

  TimRichter

  committedOct 12, 2023
  5c76853

• some hints for last 2 functions

  TimRichter

  committedOct 12, 2023
  ecb2158

• Why does this not work?

  janlemcke

  committedOct 12, 2023
  1038c56

• Last line for first proof fixed. 2 remaining.

  janlemcke

  committedOct 12, 2023
  a4eee4a

• First proof nearly finished.

  janlemcke

  committedOct 12, 2023
  68f7101

Commits on Mar 27, 2023

• more straightforward attempt

  TimRichter

  committedMar 27, 2023
  f64ecf3

Commits on Feb 17, 2023

• unendliche cf's ?

  TimRichter

  committedFeb 17, 2023
  8471c95

Commits on Feb 16, 2023

• convergents' Example computation added.

  janlemcke

  committedFeb 16, 2023
  0716d3f

• toQLemma2 done.

  janlemcke

  committedFeb 16, 2023
  cd49808

Commits on Feb 2, 2023

• Merge pull request #1 from janlemcke/finish_proof

  janlemcke

  authoredFeb 2, 2023
  8868054

• Update Cartesian.agda

  janlemcke

  authoredFeb 2, 2023
  3886237

Commits on Feb 1, 2023

• Update Cartesian.agda

  janlemcke

  authoredFeb 1, 2023
  5ab7321

Commits on Jan 29, 2023

• lemmata for computing toQ

  TimRichter

  committedJan 29, 2023
  3354145

• corrections, remarks

  TimRichter

  committedJan 29, 2023
  1b58f2d

Commits on Jan 26, 2023

• Update README.md

  janlemcke

  authoredJan 26, 2023
  8292571

Commits on Jan 17, 2023

• Update Cartesian.agda

  janlemcke

  authoredJan 17, 2023
  7557641

• Update Cartesian.agda

  janlemcke

  authoredJan 17, 2023
  e98d4ef

• Update README.md

  janlemcke

  authoredJan 17, 2023
  aafd32c

• Update Cartesian.agda

  janlemcke

  authoredJan 17, 2023
  bb20227

• Create README.md

  janlemcke

  authoredJan 17, 2023
  bb04b9e

Commits on Sep 16, 2022

• equational reasoning...

  TimRichter

  committedSep 16, 2022
  65d1b99

Commits on Apr 5, 2022

• Update Cartesian.agda

  janlemcke

  authoredApr 5, 2022
  4eac15c

• zip etc

  TimRichter

  committedApr 5, 2022
  0a2ae7b

• Update Cartesian.agda

  janlemcke

  authoredApr 5, 2022
  b98fb1f

Commits on Apr 4, 2022

• product as record to allow pattern matching in let

  TimRichter

  committedApr 4, 2022
  d78e947

• Update Cartesian.agda

  janlemcke

  authoredApr 4, 2022
  afb1821

• Update Cartesian.agda

  janlemcke

  authoredApr 4, 2022
  3bd2249

• Create Cartesian.agda

  janlemcke

  authoredApr 4, 2022
  6af0d93