To port chapter 2 - sorting from the book "Functional Data Structures and Algorithms" to HOL4
forked from Linisac/Sorting-in-HOL4
-
Notifications
You must be signed in to change notification settings - Fork 0
artisanbk/HOL4-data-structures
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Porting the book "Functional Data Structures and Algorithms" to HOL4
Resources
Stars
Watchers
Forks
Releases
No releases published
Languages
- Standard ML 90.5%
- Makefile 9.5%