Skip to content
Snippets Groups Projects
Commit 1b3106f4 authored by Katja Goltsova's avatar Katja Goltsova Committed by Viktor Kunčak
Browse files

Run scalafix on Peano

parent ebe05d5a
No related branches found
No related tags found
3 merge requests!54Front integration,!53Front integration,!52Front integration
Hide whitespace changes
Inline Side-by-side
src/main/scala/lisa/proven/mathematics/Peano.scala
+ 1
− 1
View file @ 1b3106f4
......@@ -6,7 +6,7 @@ import lisa.kernel.proof.SCProof
import lisa.kernel.proof.SequentCalculus.*
import lisa.proven.PeanoArithmeticsLibrary
import lisa.proven.tactics.ProofTactics.*
import lisa.utils.Helpers.{*, given}
import lisa.utils.Helpers.{_, given}
import lisa.utils.Library
import lisa.utils.Printer
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment