nipkow / fds_ss20

Lecture course on verified Functional Data Structures
26Updated 4 years ago

Related projects

Alternatives and complementary repositories for fds_ss20