Commit graph

Select branches

Hide pull requests

main

Mono Color

• c99907e0f1
  
  ein paar remarks main Maximilian Keßler 2024-01-04 17:00:41 +0100
• a5b7579f6f
  
  Diagonallemma Maximilian Keßler 2024-01-04 15:54:34 +0100
• 586d1018c3
  
  in richtung unvollständigkeit Maximilian Keßler 2024-01-04 15:10:47 +0100
• 0646cb3849
  
  vollständigkeit, turingmaschinen Maximilian Keßler 2024-01-04 10:10:28 +0100
• 8ffb5005a0
  
  fix readme link Maximilian Keßler 2024-01-03 17:07:22 +0100
• 309b2792b7
  
  add README Maximilian Keßler 2024-01-03 17:06:17 +0100
• dfb58c498c
  
  fix build script Maximilian Keßler 2024-01-03 17:04:44 +0100
• be281cfd85
  
  fix latex input path Maximilian Keßler 2024-01-03 17:02:15 +0100
• b0586ffe9d
  
  checkout packages Maximilian Keßler 2024-01-03 17:00:52 +0100
• d3ecf82674
  
  Rename file Maximilian Keßler 2024-01-03 16:59:13 +0100
• f93a431c16
  
  add CI Maximilian Keßler 2024-01-03 16:58:41 +0100
• 12c47ae64d
  
  Vollständigkeit Maximilian Keßler 2024-01-03 16:52:03 +0100
• 641b48a247
  
  set up packages Maximilian Keßler 2024-01-03 16:33:16 +0100
• 8497b89ed2
  
  tableu kalkül Maximilian Keßler 2024-01-03 16:26:06 +0100
• afaafd859c
  
  initial commit Maximilian Keßler 2024-01-02 09:49:20 +0100