Skip to content

Commit

Permalink
Add initial sequences package + Make package names consistent (#11)
Browse files Browse the repository at this point in the history 
Implements all definitions from Dafny that do not rely on any
(multi)set-related definitions. These will be implemented using separate
branches.

Additionally renames the packages to their singular form, and updates
folder and file names for consistency.
  • Loading branch information
@dnezam
dnezam authored Feb 8, 2024
1 parent a3bad3e commit 1d99270
Show file tree
Hide file tree
Showing 4 changed files with 517 additions and 82 deletions.
0 math.gobra → math/math.gobra
View file
File renamed without changes.
Loading

0 comments on commit 1d99270

Please sign in to comment.