Skip to content
Snippets Groups Projects
Unverified Commit 06dee6b6 authored by SimonGuilloud's avatar SimonGuilloud Committed by GitHub
Browse files

Update README.md

parent d78857f3
No related branches found
No related tags found
No related merge requests found
...@@ -23,7 +23,7 @@ The TPTP package contains a parser from the TPTP file format to LISA. The simple ...@@ -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 * `sbt doc` to generate the Scala documentation
# LICENSE ## LICENSE
Copyright [2022] [EPFL] Copyright [2022] [EPFL]
Licensed under the Apache License, Version 2.0 (the "License"); Licensed under the Apache License, Version 2.0 (the "License");
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment