Stefan Pranger sp

• Joined on Jan 27, 2021

Repositories Public Activity Starred Repositories

2

Following

0

Followers

0

Loading Heatmap…

sp pushed tag release_eqchecking to LAC/Questionnaire-2024

3 days ago

sp pushed to main at LAC/Questionnaire-2024

• 4891ec7200 compile eqchecking

3 days ago

sp pushed tag release_eqchecking to LAC/Questionnaire-2024

3 days ago

sp pushed to main at LAC/Questionnaire-2024

• c16d4e1c3c recompile eqchecking

3 days ago

sp pushed tag release_eqchecking to LAC/Questionnaire-2024

3 days ago

sp pushed to main at LAC/Questionnaire-2024

• be7953ad4b fixed typo on eqchecking 0008_sol

3 days ago

sp pushed tag release_predlogic to LAC/Questionnaire-2024

6 days ago

sp pushed to main at LAC/Questionnaire-2024

• 3712d4a486 compile predlogic chapter
• 1bf52fff1f added predlogic chapter
• 500914728d compile predlogic chapter
• ad6e00d512 added predlogic chapter
• Compare 4 commits »

6 days ago

sp pushed to main at sp/LAC-Z3-Introduction

• 3e574d8d87 added slides pdf
• c192ae96e7 added examples for lecture 2
• Compare 2 commits »

6 days ago

sp pushed tag release_predlogic to LAC/Questionnaire-2024

6 days ago

sp pushed to main at LAC/Questionnaire-2024

• 500914728d compile predlogic chapter

6 days ago

sp pushed tag release_predlogic to LAC/Questionnaire-2024

6 days ago

sp pushed to main at LAC/Questionnaire-2024

• ad6e00d512 added predlogic chapter

6 days ago

sp pushed to main at sp/LAC-Practical-Assignments-2024

• 8dcf4803f7 Revert "renamed a method variable"

1 week ago

sp pushed to main at sp/Skiing

• eb99c79712 added blanko image of 1/4 of level

1 week ago

sp pushed to main at sp/LAC-Z3-Introduction

• f7b8d78fe8 initialized with lecture 1 examples

2 weeks ago

sp created branch main in sp/LAC-Z3-Introduction

2 weeks ago

sp created repository sp/LAC-Z3-Introduction

2 weeks ago

sp pushed tag release_smtzthree to LAC/Questionnaire-2024

2 weeks ago

sp pushed to main at LAC/Questionnaire-2024

• ba048cbe25 added z3 chapter

2 weeks ago