Skip to content

Commit

Permalink
adjusting lemmas to Kontrol 1.0
Browse files Browse the repository at this point in the history
  • Loading branch information
@PetarMax
PetarMax committed Aug 24, 2024
1 parent 9ac62f3 commit a6eb909
Showing 1 changed file with 20 additions and 414 deletions.
Loading

0 comments on commit a6eb909

Please sign in to comment.