Jonas Spinner 0f5bc451a9 Fix L03add_left_cancel

2023-10-24 20:50:07 +02:00

..

Doc

big refactor

2023-05-15 15:12:35 +02:00

Levels

Fix L03add_left_cancel

2023-10-24 20:50:07 +02:00

MyNat

break off implication world

2023-10-11 17:53:51 +01:00

Tactic

add mystical ancient tactic

2023-10-23 13:43:48 +01:00

Metadata.lean

add mystical ancient tactic

2023-10-23 13:43:48 +01:00