sf's Introduction

sf

This repo is a fork of the mirror by Miëtek Bak of the Software Foundations series of books.

It seems that the main interest of the mirror is to produce PDF files, while the main interest of this branch on the fork is just tracking changes between releases. Therefore, only sources are contained and change history is compressed.

Timeline

This table is mostly based on old versions on the official server. The date of the current version is sometimes changed wihtout the version changes. So, it may not reflect actual updates on the server.

	2023/7/6	2023/3/25	2023/3/23	2022/8/28	2022/8/8	2022/8/1	2021/8/11	2021/5/26
1.Logical Foundations (lf)		6.3 2023/03/25 11:45 Coq 8.16 or later		6.2 2022-08-28 10:19 Coq 8.15 or later		6.1 2022-08-01 17:48 Coq 8.15 or later	6.0 2021-08-11 15:00, Coq 8.12 or later
2.Programming Language Foundations (plf)	6.4 2023/07/06 15:52 Coq 8.16 or later	6.3 2023/03/25 11:47 Coq 8.16 or later		6.2 2022-08-28 10:22 Coq 8.15 or later		6.1 2022-08-01 17:52 Coq 8.15 or later		6.0 2021-05-26 09:59 Coq 8.12 or later
3.Verified Functional Algorithms (vfa)		1.5.3 2023/03/25 11:49 Coq 8.16 or later		1.5.2 2022-08-29 07:41 Coq 8.15 or later		1.5.1 2022-08-01 17:56 Coq 8.15 or later		1.5 2021-05-26 10:02 Coq 8.12 or later
4.QuickChick: Property-Based Testing in Coq (qc)		1.3.2 2023/03/25 11:52 Coq 8.16 or later	1.3.1 2023-03-25 10:59 Coq 8.16 or later				1.2.1 2021-08-11 15:19 Coq 8.12 or later	1.2 2021-05-26 10:04 Coq 8.12 or later
5.Verifiable C (vc)		1.2.2 2023/03/25 11:50 Coq 8.16 with VST 2.10	1.2.1 2023/03/23 21:21 Coq 8.16 with VST 2.10				1.1.1 2021-08-11 15:23 Coq 8.13 with VST 2.8	1.1.0 2021-05-26 10:03 Coq 8.13 with VST 2.7
6.Separation Logic Foundations (slf)		1.4 2023/03/25 11:51 Coq 8.16 or later			1.3 2022-08-28 10:27 Coq 8.15 or later	1.2 2022-08-01 17:59 Coq 8.15 or later	1.1 2021-08-11 15:27 Coq 8.12 or later	1.0 2021-05-26 10:04 Coq 8.12 or later