Link Checking Details
- URL: https://doi.org/10.7551/mitpress/9153.001.0001
- Title: Certified Programming with Dependent Types
- Publisher: The MIT Press
- Provider: doi.org
Link Checking History
Sept. 3, 2024, 4:06 p.m. | 403 | html |
Aug. 18, 2024, 5:06 a.m. | 403 | html |
Aug. 3, 2024, 4:06 p.m. | 403 | html |
July 18, 2024, 5:06 a.m. | 403 | html |
July 3, 2024, 4:06 p.m. | 403 | html |
June 18, 2024, 5:06 a.m. | 200 | html |
June 3, 2024, 4:11 p.m. | 200 | html |
May 18, 2024, 5:13 a.m. | 200 | html |
May 3, 2024, 4:11 p.m. | 200 | html |
April 18, 2024, 5:06 a.m. | 200 | html |
Feb. 3, 2024, 4:08 p.m. | 200 | html |
Jan. 18, 2024, 5:06 a.m. | 200 | html |
Jan. 3, 2024, 4:06 p.m. | 200 | html |
Dec. 18, 2023, 5:16 a.m. | 200 | html |
Dec. 3, 2023, 4:06 p.m. | 200 | html |
Nov. 18, 2023, 5:08 a.m. | 200 | html |
Nov. 3, 2023, 4:06 p.m. | 200 | html |
Oct. 18, 2023, 5:07 a.m. | 200 | html |
Oct. 3, 2023, 4:06 p.m. | 200 | html |
Sept. 18, 2023, 5:09 a.m. | 200 | html |
Sept. 3, 2023, 4:07 p.m. | 200 | html |
Aug. 18, 2023, 5:07 a.m. | 200 | html |
Aug. 3, 2023, 4:07 p.m. | 200 | html |
July 18, 2023, 5:09 a.m. | 200 | html |
July 3, 2023, 4:07 p.m. | 200 | html |
June 18, 2023, 5:07 a.m. | 200 | html |
June 3, 2023, 4:06 p.m. | 200 | html |
May 18, 2023, 5:07 a.m. | 200 | html |
May 3, 2023, 4:07 p.m. | 200 | html |