diff --git a/README.md b/README.md index a7c3f4efcba2257c98ef4d7f108e5ad7470ce0d3..c3e295b4f8c740fe2510663c672bb36bc42ab9c1 100644 --- a/README.md +++ b/README.md @@ -23,7 +23,7 @@ The TPTP package contains a parser from the TPTP file format to LISA. The simple * `sbt doc` to generate the Scala documentation -# LICENSE +## LICENSE Copyright [2022] [EPFL] Licensed under the Apache License, Version 2.0 (the "License");