Backup of https://softwarefoundations.cis.upenn.edu/
HTML
0
0
No license
This project provides a static backup of the *Software Foundations* textbook series, a collection of authoritative books on formal methods and verified software development using the
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies
Support the repos that depend on this repository
Top contributors
Guilherme-Vasconcelos
3 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet