bgl42
/
lub2022-practical_public-fork
forked from sp/lub2022-practical
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

not under construction anymore

update_readme
Stefan Pranger 2 years ago
parent
94aedef106
commit
441b7c0d80
1 changed files with 1 additions and 3 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 4
      README.md

4
README.md
View File

@ -1,5 +1,3 @@
**Under Construction!**
# Logic and Computability - Practical Bonus Assignments 2022
This repository will be used for submissions of *Logic and Computability* practical assignments in the summer semester 2022.
@ -16,7 +14,7 @@ git clone https://git.pranger.xyz/sp/lub2022-practical.git --origin upstream
```
2. Start with solving the examples!
We will provide you with your own repositories over the course of the next week. As soon as you have these repositories, we will give you a short description on how you can push your solutions.
_We will provide you with your own repositories over the course of the next week. As soon as you have these repositories, we will give you a short description on how you can push your solutions._

Write Preview
Loading…
Cancel
Save