Download List

项目描述

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

系统要求

作业系统: Cygwin (MS Windows), MacOSX, POSIX (Linux,BSD,Solaris etc..), Linux, SunOS/Solaris

Download Package list

Latest 5 files
名称 大小 日期 下载总数
afp-2019-08-19.tar.gz 29.4 MB 2019-08-19 22:30 1
afp-2019-08-16.tar.gz 29.3 MB 2019-08-16 23:41 0
afp-2019-08-06.tar.gz 29.3 MB 2019-08-06 23:20 0
afp-2019-08-03.tar.gz 29.2 MB 2019-08-03 22:04 0
afp-2019-07-31.tar.gz 29.2 MB 2019-08-01 06:36 0
全文件
afp-Isabelle2019
afp-2019-08-19.tar.gz29.4 MB2019-08-19 22:301
afp-2019-08-16.tar.gz29.3 MB2019-08-16 23:410
afp-2019-08-06.tar.gz29.3 MB2019-08-06 23:200
afp-2019-08-03.tar.gz29.2 MB2019-08-03 22:040
afp-2019-07-31.tar.gz29.2 MB2019-08-01 06:360
afp-2019-07-28.tar.gz29.2 MB2019-07-28 18:221
afp-2019-07-18.tar.gz29.1 MB2019-07-18 23:270
afp-2019-07-11.tar.gz29.1 MB2019-07-11 23:430
afp-2019-07-05.tar.gz29.0 MB2019-07-05 16:530
afp-2019-06-29.tar.gz28.9 MB2019-06-29 18:390
afp-2019-06-28.tar.gz28.9 MB2019-06-28 22:380
afp-2019-06-24.tar.gz28.9 MB2019-06-24 19:190
afp-Isabelle2018
afp-2019-06-04.tar.gz28.2 MB2019-06-04 20:390
afp-2019-05-15.tar.gz28.2 MB2019-05-15 20:240
afp-2019-05-10.tar.gz28.2 MB2019-05-10 19:300
afp-2019-04-29.tar.gz28.1 MB2019-04-29 23:081
afp-2019-04-18.tar.gz27.9 MB2019-04-18 10:170
afp-2019-04-08.tar.gz27.9 MB2019-04-08 20:410
afp-2019-03-28.tar.gz27.8 MB2019-03-29 01:300
afp-2019-03-25.tar.gz27.7 MB2019-03-25 17:550
afp-2019-03-14.tar.gz27.7 MB2019-03-14 22:390
afp-2019-02-22.tar.gz27.6 MB2019-02-22 18:540
afp-2019-02-21.tar.gz27.5 MB2019-02-21 09:200
afp-2019-02-19.tar.gz27.5 MB2019-02-19 19:050
afp-2019-02-15.tar.gz27.5 MB2019-02-16 04:360
afp-2019-02-12.tar.gz27.5 MB2019-02-12 20:460
afp-2019-02-06.tar.gz26.0 MB2019-02-07 02:040
afp-2019-01-22.tar.gz25.9 MB2019-01-23 01:550
afp-2019-01-21.tar.gz25.8 MB2019-01-21 21:570
afp-2019-01-15.tar.gz25.8 MB2019-01-16 00:420
afp-2019-01-11.tar.gz25.6 MB2019-01-11 19:450
afp-2019-01-07.tar.gz25.4 MB2019-01-07 16:590
afp-2019-01-03.tar.gz25.3 MB2019-01-03 22:050
afp-2018-12-20.tar.gz25.2 MB2018-12-20 15:510
afp-2018-12-19.tar.gz25.2 MB2018-12-19 21:440
afp-2018-11-29.tar.gz25.1 MB2018-11-29 23:340
afp-2018-11-28.tar.gz24.9 MB2018-11-28 22:140
afp-2018-11-21.tar.gz24.9 MB2018-11-21 10:190
afp-2018-11-20.tar.gz24.8 MB2018-11-21 03:160
afp-2018-10-31.tar.gz24.8 MB2018-11-01 01:230
afp-2018-10-29.tar.gz24.8 MB2018-10-29 23:290
afp-2018-10-23.tar.gz24.9 MB2018-10-23 23:370
afp-2018-10-21.tar.gz24.7 MB2018-10-21 20:550
afp-2018-10-19.tar.gz24.7 MB2018-10-20 00:080
afp-2018-10-16.tar.gz24.7 MB2018-10-16 23:420
afp-2018-10-02.tar.gz24.6 MB2018-10-02 20:470
afp-2018-09-26.tar.gz24.6 MB2018-09-26 22:430
afp-2018-09-20.tar.gz24.5 MB2018-09-20 18:500
afp-2018-09-19.tar.gz24.3 MB2018-09-19 13:050
afp-Isabelle2017
afp-2018-08-14.tar.gz23.7 MB2018-08-14 18:020
afp-2018-07-18.tar.gz23.7 MB2018-07-19 02:530
afp-2018-07-06.tar.gz23.6 MB2018-07-06 18:441
afp-2018-06-25.tar.gz23.6 MB2018-06-26 02:430
afp-2018-06-17.tar.gz23.6 MB2018-06-18 04:060
afp-2018-06-15.tar.gz23.6 MB2018-06-15 17:440
afp-2018-06-10.tar.gz23.4 MB2018-06-10 11:100
afp-2018-06-09.tar.gz23.5 MB2018-06-09 19:190
afp-2018-01-12.tar.gz22.6 MB2018-01-12 07:290
afp-2018-01-08.tar.gz22.5 MB2018-01-09 02:220
afp-2017-12-30.tar.gz22.6 MB2017-12-30 21:160
afp-2017-12-22.tar.gz22.6 MB2017-12-22 20:450
afp-2017-12-18.tar.gz22.4 MB2017-12-19 06:260
afp-2017-11-23.tar.gz22.5 MB2017-11-23 23:000
afp-2017-11-10.tar.gz22.5 MB2017-11-11 02:270
afp-2017-11-09.tar.gz22.4 MB2017-11-09 19:590
afp-2017-10-27.tar.gz22.3 MB2017-10-27 14:020
afp-2017-10-18.tar.gz22.4 MB2017-10-18 23:251
afp-2017-10-17.tar.gz22.2 MB2017-10-17 20:322
afp-2017-10-16.tar.gz22.1 MB2017-10-17 01:050
afp-2017-10-15.tar.gz22.1 MB2017-10-16 02:090
afp-2017-10-10.tar.gz22.1 MB2017-10-11 07:190
afp-Isabelle2016-1
afp-2017-09-19.tar.gz22.3 MB2017-09-19 16:410
afp-2017-09-18.tar.gz22.0 MB2017-09-18 22:250
afp-2017-09-11.tar.gz22.0 MB2017-09-11 20:340
afp-2017-09-08.tar.gz21.9 MB2017-09-08 22:580
afp-2017-09-05.tar.gz21.9 MB2017-09-05 21:020
afp-2017-09-04.tar.gz21.9 MB2017-09-04 22:330
afp-2017-08-23.tar.gz21.9 MB2017-08-23 15:570
afp-2017-08-21.tar.gz21.9 MB2017-08-21 15:270
afp-2017-08-20.tar.gz21.9 MB2017-08-20 23:550
afp-2017-08-01.tar.gz21.8 MB2017-08-01 23:460
afp-2017-07-31.tar.gz21.8 MB2017-07-31 15:400
afp-2017-07-24.tar.gz21.8 MB2017-07-24 23:210
afp-2017-07-15.tar.gz21.8 MB2017-07-15 20:380
afp-2017-07-07.tar.gz21.7 MB2017-07-08 01:172
afp-2017-06-22.tar.gz21.7 MB2017-06-22 16:550
afp-2017-06-13.tar.gz21.6 MB2017-06-13 23:440
afp-2017-06-06.tar.gz21.6 MB2017-06-06 18:360
afp-2017-06-02.tar.gz21.6 MB2017-06-02 20:310
afp-2017-06-01.tar.gz20.8 MB2017-06-01 08:570
afp-2017-05-25.tar.gz20.7 MB2017-05-25 22:320
afp-2017-05-11.tar.gz20.6 MB2017-05-11 18:251
afp-2017-05-09.tar.gz20.4 MB2017-05-09 20:401
afp-2017-05-05.tar.gz20.4 MB2017-05-05 19:541
afp-2017-05-02.tar.gz20.3 MB2017-05-02 23:561
afp-2017-04-28.tar.gz20.3 MB2017-04-29 00:440
afp-2017-04-20.tar.gz20.2 MB2017-04-20 16:200
afp-2017-04-07.tar.gz20.2 MB2017-04-07 23:160
afp-2017-04-04.tar.gz20.1 MB2017-04-04 23:190
afp-2017-03-16.tar.gz20.1 MB2017-03-16 16:100
afp-2017-03-14.tar.gz20.1 MB2017-03-14 20:341
afp-2017-03-01.tar.gz20.1 MB2017-03-01 18:510
afp-2017-02-27.tar.gz20.0 MB2017-02-27 16:140
afp-2017-02-14.tar.gz20.0 MB2017-02-14 17:200
afp-2017-02-13.tar.gz19.9 MB2017-02-13 08:290
afp-2017-02-09.tar.gz19.9 MB2017-02-09 22:000
afp-2017-02-03.tar.gz19.8 MB2017-02-04 01:030
afp-2017-01-24.tar.gz19.7 MB2017-01-24 21:291
afp-2017-01-19.tar.gz19.7 MB2017-01-19 17:112
afp-2017-01-18.tar.gz19.7 MB2017-01-18 21:430
afp-2017-01-13.tar.gz19.7 MB2017-01-13 20:410
afp-2017-01-11.tar.gz19.7 MB2017-01-11 18:320
afp-2017-01-06.tar.gz19.6 MB2017-01-06 23:390
afp-2017-01-04.tar.gz19.6 MB2017-01-05 03:100
afp-2016-12-21.tar.gz19.5 MB2016-12-22 02:012
afp-2016-12-17.tar.gz19.5 MB2016-12-17 20:230
afp-Isabelle2016
afp-2016-12-08.tar.gz19.6 MB2016-12-08 15:480
afp-2016-11-29.tar.gz19.6 MB2016-11-29 22:480
afp-2016-11-17.tar.gz19.5 MB2016-11-18 00:100
afp-2016-11-10.tar.gz19.5 MB2016-11-10 23:300
afp-2016-10-27.tar.gz19.4 MB2016-10-28 02:230
afp-2016-10-25.tar.gz19.4 MB2016-10-26 02:010
afp-2016-10-24.tar.gz19.4 MB2016-10-24 18:090
afp-2016-10-21.tar.gz19.3 MB2016-10-21 17:470
afp-2016-10-19.tar.gz19.2 MB2016-10-19 15:370
afp-2016-10-15.tar.gz19.1 MB2016-10-15 23:400
afp-2016-10-11.tar.gz19.1 MB2016-10-11 20:461
afp-2016-10-05.tar.gz19.1 MB2016-10-05 20:150
afp-2016-09-29.tar.gz19.1 MB2016-09-29 20:100
afp-2016-09-09.tar.gz19.1 MB2016-09-10 00:100
afp-2016-09-06.tar.gz18.7 MB2016-09-06 16:480
afp-2016-08-31.tar.gz18.5 MB2016-08-31 20:392
afp-2016-08-24.tar.gz18.5 MB2016-08-24 17:041
afp-2016-08-18.tar.gz18.5 MB2016-08-19 00:360
afp-2016-08-12.tar.gz18.4 MB2016-08-13 00:210
afp-2016-08-08.tar.gz18.3 MB2016-08-08 22:030
afp-2016-07-17.tar.gz17.3 MB2016-07-17 19:290
afp-2016-07-05.tar.gz17.3 MB2016-07-05 18:420
afp-2016-07-01.tar.gz17.2 MB2016-07-01 08:020
afp-2016-06-30.tar.gz17.1 MB2016-07-01 00:260
afp-2016-06-28.tar.gz17.1 MB2016-06-28 20:560
afp-2016-06-26.tar.gz17.0 MB2016-06-26 10:310
afp-2016-06-25.tar.gz16.8 MB2016-06-26 02:370
afp-2016-06-18.tar.gz16.7 MB2016-06-18 18:270
afp-2016-06-13.tar.gz16.7 MB2016-06-13 23:330
afp-2016-06-09.tar.gz16.7 MB2016-06-09 21:310
afp-2016-06-01.tar.gz16.6 MB2016-06-01 19:261
afp-2016-05-31.tar.gz16.6 MB2016-06-01 00:191
afp-2016-05-24.tar.gz16.7 MB2016-05-24 19:160
afp-2016-05-20.tar.gz16.6 MB2016-05-21 01:510
afp-2016-05-18.tar.gz16.6 MB2016-05-18 20:101
afp-2016-05-09.tar.gz16.5 MB2016-05-09 08:550
afp-2016-05-05.tar.gz16.4 MB2016-05-06 01:540
afp-2016-05-02.tar.gz16.3 MB2016-05-03 00:500
afp-2016-04-28.tar.gz16.3 MB2016-04-28 23:370
afp-2016-04-27.tar.gz16.3 MB2016-04-27 22:560
afp-2016-04-26.tar.gz16.2 MB2016-04-26 22:072
afp-2016-04-24.tar.gz16.2 MB2016-04-24 18:440
afp-2016-04-12.tar.gz16.2 MB2016-04-12 20:451
afp-2016-03-13.tar.gz16.2 MB2016-03-13 20:442
afp-2016-03-11.tar.gz16.2 MB2016-03-12 02:412
afp-2016-03-09.tar.gz16.0 MB2016-03-10 02:380
afp-2016-03-02.tar.gz16.1 MB2016-03-02 23:520
afp-2016-02-23.tar.gz16.0 MB2016-02-23 12:581
afp-2016-02-22.tar.gz16.0 MB2016-02-23 04:550
afp-Isabelle2015
afp-2016-02-08.tar.gz15.7 MB2016-02-09 03:190
afp-2016-01-20.tar.gz15.6 MB2016-01-20 20:300
afp-2016-01-19.tar.gz15.6 MB2016-01-19 19:040
afp-2016-01-18.tar.gz15.6 MB2016-01-19 03:002
afp-2016-01-14.tar.gz15.5 MB2016-01-15 00:403
afp-2016-01-05.tar.gz15.5 MB2016-01-05 19:030
afp-2015-12-22.tar.gz15.5 MB2015-12-23 01:266
afp-2015-12-13.tar.gz15.2 MB2015-12-13 18:502
afp-2015-12-03.tar.gz15.2 MB2015-12-03 15:500
afp-2015-11-20.tar.gz15.2 MB2015-11-21 02:342
afp-2015-11-02.tar.gz15.5 MB2015-11-03 02:350
afp-2015-09-28.tar.gz15.1 MB2015-09-28 09:450
afp-2015-09-25.tar.gz15.5 MB2015-09-26 02:100
afp-2015-09-04.tar.gz15.0 MB2015-09-04 22:520
afp-2015-08-23.tar.gz14.9 MB2015-08-23 21:010
afp-2015-08-21.tar.gz14.8 MB2015-08-21 23:421
afp-2015-08-19.tar.gz14.8 MB2015-08-20 04:570
afp-2015-08-17.tar.gz15.1 MB2015-08-17 19:380
afp-2015-08-12.tar.gz14.7 MB2015-08-12 23:250
afp-2015-08-11.tar.gz15.1 MB2015-08-11 22:050
afp-2015-08-04.tar.gz14.6 MB2015-08-04 11:080
afp-2015-07-16.tar.gz15.0 MB2015-07-17 01:2713
afp-2015-07-15.tar.gz15.0 MB2015-07-15 15:0713
afp-2015-07-07.tar.gz14.5 MB2015-07-07 23:545
afp-2015-06-28.tar.gz14.9 MB2015-06-28 19:2512
afp-2015-06-13.tar.gz14.5 MB2015-06-13 20:034
afp-2015-06-08.tar.gz14.8 MB2015-06-08 19:062
afp-2015-06-07.tar.gz14.8 MB2015-06-08 00:162
afp-2015-05-28.tar.gz14.8 MB2015-05-29 00:083
afp-Isabelle2014
afp-2015-05-19.tar.gz14.9 MB2015-05-19 18:124
afp-2015-05-11.tar.gz14.9 MB2015-05-11 19:546
afp-2015-05-09.tar.gz14.9 MB2015-05-10 01:073
afp-2015-04-30.tar.gz14.9 MB2015-05-01 00:273
afp-2015-04-16.tar.gz14.5 MB2015-04-17 00:212
afp-2015-04-15.tar.gz14.5 MB2015-04-16 05:302
afp-2015-03-30.tar.gz14.8 MB2015-03-31 00:092
afp-2015-03-19.tar.gz14.8 MB2015-03-20 00:582
afp-2015-02-21.tar.gz14.3 MB2015-02-21 10:173
afp-2015-02-20.tar.gz14.3 MB2015-02-21 04:172
afp-2015-02-13.tar.gz14.2 MB2015-02-13 21:234
afp-2015-02-12.tar.gz14.1 MB2015-02-13 02:323
afp-2015-02-05.tar.gz14.1 MB2015-02-06 05:342
afp-2015-01-30.tar.gz14.4 MB2015-01-31 02:022
afp-2015-01-28.tar.gz14.4 MB2015-01-28 23:281
afp-2014-12-22.tar.gz14.4 MB2014-12-23 02:065
afp-2014-12-05.tar.gz14.0 MB2014-12-05 21:363
afp-2014-11-30.tar.gz14.4 MB2014-12-01 02:162
afp-2014-11-03.tar.gz14.0 MB2014-11-03 15:094
afp-2014-11-01.tar.gz14.1 MB2014-11-01 11:335
afp-2014-10-15.tar.gz14.1 MB2014-10-15 23:201
afp-2014-10-13.tar.gz14.0 MB2014-10-13 20:502
afp-2014-10-11.tar.gz13.8 MB2014-10-11 16:392
afp-2014-10-10.tar.gz14.0 MB2014-10-11 00:512
afp-2014-10-09.tar.gz14.1 MB2014-10-10 01:313
afp-2014-10-08.tar.gz13.9 MB2014-10-09 01:474
afp-2014-09-25.tar.gz13.5 MB2014-09-26 02:313
afp-2014-09-20.tar.gz13.9 MB2014-09-21 00:224
afp-2014-09-16.tar.gz13.9 MB2014-09-16 17:521
afp-2014-09-11.tar.gz13.8 MB2014-09-11 17:531
afp-2014-09-07.tar.gz13.5 MB2014-09-07 20:192
afp-2014-09-05.tar.gz13.6 MB2014-09-05 18:215
afp-2014-09-04.tar.gz13.8 MB2014-09-04 17:585
afp-2014-09-03.tar.gz13.5 MB2014-09-03 23:523
afp-2014-08-31.tar.gz13.5 MB2014-08-31 16:511
afp-2014-08-28.tar.gz13.4 MB2014-08-31 16:391
afp-Isabelle2013-2
afp-2014-07-18.tar.gz12.4 MB2014-07-19 04:234
afp-2014-07-13.tar.gz11.9 MB2014-07-13 22:453
afp-2014-07-09.tar.gz12.1 MB2014-07-09 16:363
afp-2014-07-03.tar.gz11.9 MB2014-07-03 22:454
afp-2014-06-12.tar.gz11.7 MB2014-06-13 05:274
afp-2014-06-08.tar.gz11.9 MB2014-06-09 05:152
afp-2014-05-30.tar.gz11.9 MB2014-05-30 14:542
afp-2014-05-29.tar.gz11.9 MB2014-05-29 23:172
afp-2014-05-25.tar.gz11.1 MB2014-05-26 01:212
afp-2014-05-24.tar.gz11.1 MB2014-05-25 12:342
afp-2014-05-22.tar.gz11.4 MB2014-05-22 19:332
afp-2014-04-29.tar.gz11.4 MB2014-04-29 15:152
afp-2014-04-25.tar.gz10.8 MB2014-04-26 00:233
afp-2014-04-24.tar.gz10.8 MB2014-04-25 00:063
afp-2014-04-16.tar.gz10.6 MB2014-04-16 22:593
afp-2014-04-13.tar.gz10.6 MB2014-04-13 22:292
afp-2014-04-06.tar.gz10.3 MB2014-04-06 08:002
afp-2014-03-16.tar.gz10.3 MB2014-03-16 09:095
afp-2014-03-15.tar.gz10.3 MB2014-03-15 11:144
afp-2014-02-19.tar.gz10.5 MB2014-02-20 01:584
afp-2014-02-18.tar.gz10.2 MB2014-02-18 08:074
afp-2014-02-14.tar.gz10.5 MB2014-02-14 16:373
afp-2014-02-11.tar.gz10.1 MB2014-02-11 08:423
afp-2014-01-31.tar.gz10.3 MB2014-02-01 01:027
afp-2014-01-30.tar.gz10.4 MB2014-01-31 02:454
afp-2014-01-29.tar.gz10.1 MB2014-01-30 14:446
afp-2014-01-25.tar.gz10.0 MB2014-01-26 01:066
afp-2014-01-16.tar.gz10.0 MB2014-01-17 05:531
afp-2014-01-14.tar.gz9.7 MB2014-01-14 07:141
afp-2014-01-12.tar.gz10.5 MB2014-01-13 05:362
afp-2014-01-11.tar.gz9.9 MB2014-01-12 04:182
afp-2013-12-11.tar.gz9.4 MB2013-12-11 18:363
afp-Isabelle2013-1
afp-2013-12-02.tar.gz9.4 MB2013-12-02 11:042
afp-2013-11-19.tar.gz9.3 MB2013-11-19 21:593
afp-2013-11-18.tar.gz9.3 MB2013-11-19 01:366
afp-Isabelle2013
afp-2013-07-29.tar.gz8.8 MB2013-07-29 18:481
afp-2013-07-28.tar.gz8.5 MB2013-07-28 16:241
afp-2013-07-26.tar.gz8.5 MB2013-07-26 18:319
afp-2013-07-04.tar.gz8.5 MB2013-07-04 15:595
afp-2013-07-01.tar.gz8.7 MB2013-07-01 17:393
afp-2013-05-30.tar.gz8.4 MB2013-05-30 15:501
afp-2013-05-02.tar.gz8.4 MB2013-05-02 12:132
afp-2013-04-23.tar.gz8.4 MB2013-04-23 10:042
afp-2013-04-21.tar.gz8.4 MB2013-04-21 16:341
afp-2013-04-20.tar.gz8.6 MB2013-04-20 19:491
afp-2013-03-22.tar.gz8.3 MB2013-03-22 18:362
afp-2013-03-10.tar.gz8.3 MB2013-03-11 00:442
afp-2013-02-16.tar.gz8.1 MB2013-02-16 18:514
afp-Isabelle2012
afp-2013-02-02.tar.gz8.3 MB2013-02-16 18:483
afp-2012-08-07.tar.gz8.2 MB2012-09-06 09:043
afp-Isabelle2011-1
afp-2012-05-11.tar.gz7.0 MB2012-09-06 09:015
afp-2011-11-27.tar.gz6.6 MB2011-12-13 06:125
afp-Isabelle2011
afp-2011-04-01.tar.gz6.4 MB2011-04-03 16:181
afp-Isabelle2009-2
afp-2011-01-19.tar.gz5.8 MB2011-04-03 16:124
afp-Isabelle2009-1
afp-2010-02-15.tar.gz5.2 MB2010-02-16 19:533
afp-Isabelle2009
afp-2009-11-29.tar.gz4.4 MB2010-02-16 19:443
afp-Isabelle2008
afp-2008-10-21
afp-2008-10-21.tar.gz3.1 MB2008-10-21 12:233
afp-Isabelle2007
afp-2007-12-20
afp-2007-12-20.tar.gz1.9 MB2008-10-21 12:2313
afp-Isabelle2005
afp-2007-11-26
afp-2007-11-26.tar.gz1.2 MB2007-11-26 19:587
afp-2005-10-14
afp-2005-10-14.tar.gz1.0 MB2005-10-14 21:253
afp-Isabelle2004
afp-2005-07-22
afp-2005-07-22.tar.gz762.6 KB2005-10-14 21:226
afp-2004-04-21
afp-2004-04-21.tar.gz52.9 KB2004-04-21 17:293
afp-Isabelle2003
afp-2004-03-30
afp-2004-03-30.tar.gz42.0 KB2004-04-12 10:094