Edithistory:Interactive Theorem Proving (conference)
From EverybodyWiki Bios & Wiki
| oldid | date/time | username | edit summary |
|---|---|---|---|
| 1325584028 | 2025-12-03T22:44:18Z | LibStar | Proposing article for deletion per [[WP:PROD]]. |
| 1319567374 | 2025-10-30T16:06:33Z | X2step | Reverting edit(s) by [[Special:Contributions/38.52.122.233|38.52.122.233]] ([[User_talk:38.52.122.233|talk]]) to rev. 1311884172 by Maxbmn: self promotion ([[w:en:WP:UV|UV 0.1.6]]) |
| 1319565882 | 2025-10-30T15:57:19Z | 38.52.122.233 | @DawnawHsihsi(dawnawhsihsi) |
| 1311884172 | 2025-09-17T12:53:05Z | Maxbmn | |
| 1281248042 | 2025-03-19T06:11:14Z | Medovina | Remove statement claiming that ITP is part of IJCAR, which is no longer true |
| 1268323112 | 2025-01-09T05:41:36Z | Jlwoodwa | Added {{[[Template:Third-party|Third-party]]}} tag |
| 1184812389 | 2023-11-12T19:58:01Z | ElliAWB | Disambiguating links to [[Coq]] (link changed to [[Coq (software)]]) using [[User:Qwertyytrewqqwerty/DisamAssist|DisamAssist]]. |
| 1103199221 | 2022-08-08T19:19:07Z | Rewed | |
| 1048430470 | 2021-10-05T23:26:41Z | Liz | Removing link(s) to "Federated Logic Conference": Removing links to deleted page Federated Logic Conference. |
| 1025408287 | 2021-05-27T11:28:12Z | Tom.Reding | +{{[[Template:Authority control|Authority control]]}} ([[d:Q6045337|4 IDs]] from [[Wikidata]]), [[WP:GenFixes]] on |
| 988294672 | 2020-11-12T08:42:24Z | 2001:16B8:66A4:BE00:A11F:F3B6:FA5B:D0CD | |
| 970651983 | 2020-08-01T16:13:10Z | 2600:6C44:747F:8DF0:E670:B8FF:FE5C:5B25 | Added Lean |
| 915144833 | 2019-09-11T13:44:59Z | Olsonist | /* External links */ correction |
| 915144697 | 2019-09-11T13:43:59Z | Olsonist | /* External links */ added 2019 |
| 719312930 | 2016-05-08T22:52:40Z | Me, Myself, and I are Here | adjust bold |
| 707327292 | 2016-02-28T05:35:34Z | WurmWoode | /* External links */ Tweaks |
| 612989435 | 2014-06-15T09:02:19Z | 202.159.141.119 | /* External links */ dated |
| 602267964 | 2014-04-01T14:11:52Z | Qwertyus | remove hatnote |
| 596524993 | 2014-02-21T18:36:49Z | 128.62.41.229 | Added ACL2 to list of logic systems |
| 552637461 | 2013-04-28T23:09:25Z | Vegaswikian | Disambiguated: [[HOL]] → [[HOL (proof assistant)]] |
| 510033210 | 2012-08-31T00:39:09Z | ChrisGualtieri | General fixes / CHECKWIKI fixes using [[Project:AWB|AWB]] |
| 504035367 | 2012-07-25T00:25:17Z | Michael Hardy | |
| 503791380 | 2012-07-23T16:21:55Z | Y256 | |
| 503791176 | 2012-07-23T16:20:31Z | Y256 | |
| 503791090 | 2012-07-23T16:19:56Z | Y256 | |
| 503790974 | 2012-07-23T16:19:20Z | Y256 | |
| 503780737 | 2012-07-23T15:04:35Z | Y256 | |
| 503780540 | 2012-07-23T15:03:07Z | Y256 | |
| 503779536 | 2012-07-23T14:55:31Z | Y256 | /* External Links */ |
| 503779454 | 2012-07-23T14:54:53Z | Y256 | |
| 503777615 | 2012-07-23T14:42:03Z | Y256 | [[WP:AES|←]]Created page with 'The international conference on '''Interactive Theorem Proving (ITP)''' focuses on [[automated theorem proving]], [[proof assistant|proof assistants]] and relate...' |
