Skip to content

Commit 7610bd9

Browse files
gaetanserregaetanserre
committed
Merge branch 'main' into forFix
2 parents 5cd0bc2 + 6b0b58e commit 7610bd9

2 files changed

Lines changed: 0 additions & 163 deletions

File tree

‎RandomDo.lean‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@ public import RandomDo.Monad.MeasurableSpace
88
public import RandomDo.Monad.Notation
99
public import RandomDo.Tactic.Deriving
1010
public import RandomDo.Tactic.Elab
11-
public import RandomDo.Tactic.Examples
1211
public import RandomDo.Tactic.ForInStep
1312
public import RandomDo.Tactic.IsMarkov
1413
public import RandomDo.Tactic.Lemmas

‎RandomDo/Tactic/Examples.lean‎

Lines changed: 0 additions & 162 deletions
This file was deleted.

0 commit comments

Comments
 (0)