RecentChanges

Updates since 1970-01-01 00:00 UTC

(for proj-plbook-plChProofLangs only)

1 days 3 days 7 days 30 days 90 days
List latest change per page only List only major changes
List later changes RSS RSS with pages RSS with pages and diff

2023-12-11

2022-12-08

2022-06-15

2022-01-04

2021-10-26

2021-09-21

2021-07-27

2021-07-10

2021-07-06

2021-06-29

2020-11-26

2020-10-16

2020-09-22

2020-09-09

2020-05-21

2019-04-20

2017-12-10

2016-09-02

2016-08-30

2016-08-28

2016-08-27

2016-08-26

2016-02-10

2015-03-27

2015-03-14

2015-02-20

2014-07-12

  • 05:08 UTC (new) proj-plbook-plChProofLangs . . . . BayleShanks [Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Chapter : Proof assistant languages == == Coq == Not . . .

Filters