Issues
- 2
- 2
- 1
- 5
- 0
Meta-issue: Revision of FunctionSurj
#55 opened - 3
- 0
- 0
- 0
- 2
- 0
- 1
- 2
- 0
- 0
typo
#45 opened - 1
- 1
- 1
- 1
- 0
- 1
- 1
- 2
- 0
- 0
- 1
Babylon Level 4 Latex-summary mismatch
#32 opened - 1
- 1
Babylon/04: incorrect latex summary
#29 opened - 2
- 0
- 1
`by_contra` ignores `tactic.hygienic`
#26 opened - 0
- 1
- 0
Nat.succ not explained in Luna, level 1
#23 opened - 1
- 1
- 3
- 0
- 0
- 0
Level: introduce `congr`
#17 opened - 0
fix: improve hint in drinkers paradox
#11 opened - 1
- 0
- 2
Inequality 3 crashes
#7 opened - 0
ext-Strategie für abstrakte Mengen
#6 opened - 1
Wie erklärt man Typ versus Mengen?
#5 opened - 0
modify `ring`
#2 opened - 1
Term Modus and forward reasoning
#1 opened