corpus.blog
41554 blogs · [ { "id": "01a0d055-0ee8-7089-b633-5029114aa520", "title": "The mathematical truth is out there…", "url": "https://slawekk.wordpress.com/2008/07/19/the-mathematical-truth-is-out-there/", "published_at": "2008-07-19T01:16:01+00:00" }, { "id": "01a0d055-0ee8-7089-b633-50291210f663", "title": "IsarMathLib 1.6.4 released", "url": "https://slawekk.wordpress.com/2008/06/30/isarmathlib-164-released/", "published_at": "2008-06-30T22:59:51+00:00" }, { "id": "01a0d055-0ee8-7089-b633-502912713fb1", "title": "IsarMathLib version 1.6.3 released", "url": "https://slawekk.wordpress.com/2008/04/26/isarmathlib-version-163-released/", "published_at": "2008-04-26T00:13:12+00:00" }, { "id": "01a0d055-0ee8-7089-b633-5029135c31b0", "title": "Tiddly Formal Math", "url": "https://slawekk.wordpress.com/2008/03/09/tiddly-formal-math/", "published_at": "2008-03-09T15:13:54+00:00" }, { "id": "01a0d055-0ee8-7089-b633-5029136e2137", "title": "From sea to shining sea on Amtrak", "url": "https://slawekk.wordpress.com/2008/02/10/from-sea-to-shining-sea-on-amtrak/", "published_at": "2008-02-10T21:03:32+00:00" }, { "id": "01a0d055-0ee8-7089-b633-5029144f8843", "title": "MathWiki conference III", "url": "https://slawekk.wordpress.com/2008/01/13/mathwiki-conference-iii/", "published_at": "2008-01-13T18:27:25+00:00" }, { "id": "01a0d055-0ee8-7089-b633-502914666463", "title": "MathWiki conference II", "url": "https://slawekk.wordpress.com/2008/01/05/mathwiki-conference-ii/", "published_at": "2008-01-05T17:48:17+00:00" }, { "id": "01a0d055-0ee8-7089-b633-5029147479f7", "title": "MathWiki conference I", "url": "https://slawekk.wordpress.com/2008/01/01/mathwiki-conference/", "published_at": "2008-01-01T20:00:00+00:00" }, { "id": "01a0d055-0ee8-7089-b633-50291531609e", "title": "IsarMathLib updated to Isabelle 2007", "url": "https://slawekk.wordpress.com/2007/12/31/isarmathlib-updated-to-isabelle-2007/", "published_at": "2007-12-31T00:40:10+00:00" }, { "id": "01a0d055-0ee8-7089-b633-502915f30aaa", "title": "How to build a library of formalized mathematics", "url": "https://slawekk.wordpress.com/2007/12/29/how-to-build-a-library-of-formalized-mathematics/", "published_at": "2007-12-29T18:45:17+00:00" }, { "id": "01a0d055-4333-732c-bc77-b2e8e4b8af57", "title": "IsarMathLib and Isabelle/ZF", "url": "https://slawekk.wordpress.com/2007/12/22/isarmathlib-and-isabellezf/", "published_at": "2007-12-22T21:43:45+00:00" }, { "id": "01a0d055-4333-732c-bc77-b2e8e4d47c08", "title": "Folding in ZF", "url": "https://slawekk.wordpress.com/2007/12/17/folding-in-zf/", "published_at": "2007-12-17T02:54:30+00:00" }, { "id": "01a0d055-4333-732c-bc77-b2e8e5623906", "title": "Isabelle 2007 released", "url": "https://slawekk.wordpress.com/2007/11/25/isabelle-2007-released/", "published_at": "2007-11-25T02:56:30+00:00" }, { "id": "01a0d055-4333-732c-bc77-b2e8e6445067", "title": "Compact sets and the Axiom of Choice", "url": "https://slawekk.wordpress.com/2007/10/19/compact-sets-and-the-axiom-of-choice/", "published_at": "2007-10-19T04:27:29+00:00" }, { "id": "01a0d055-4333-732c-bc77-b2e8e66f4029", "title": "Groups and neutral elements", "url": "https://slawekk.wordpress.com/2007/10/08/groups-and-neutral-elements/", "published_at": "2007-10-08T01:43:29+00:00" }, { "id": "01a0d055-4333-732c-bc77-b2e8e6e6d900", "title": "new version of IsarMathLib released", "url": "https://slawekk.wordpress.com/2007/09/29/new-version-of-isarmathlib-released/", "published_at": "2007-09-29T16:46:41+00:00" }, { "id": "01a0d055-4333-732c-bc77-b2e8e79d0b4b", "title": "Hello world!", "url": "https://slawekk.wordpress.com/2007/09/22/hello-world/", "published_at": "2007-09-22T17:35:23+00:00" } ] posts Claim your blog
Back to slawekk.wordpress.com
Blog · corpus.blog/blogs/slawekk.wordpress.com/posts

slawekk.wordpress.com

slawekk.wordpress.com

2008

The mathematical truth is out there…original ↗
19 Jul 2008
IsarMathLib 1.6.4 releasedoriginal ↗
30 Jun 2008
IsarMathLib version 1.6.3 releasedoriginal ↗
26 Apr 2008
Tiddly Formal Mathoriginal ↗
9 Mar 2008
From sea to shining sea on Amtrakoriginal ↗
10 Feb 2008
MathWiki conference IIIoriginal ↗
13 Jan 2008
MathWiki conference IIoriginal ↗
5 Jan 2008
MathWiki conference Ioriginal ↗
1 Jan 2008

2007

IsarMathLib updated to Isabelle 2007original ↗
31 Dec 2007
How to build a library of formalized mathematicsoriginal ↗
29 Dec 2007
IsarMathLib and Isabelle/ZForiginal ↗
22 Dec 2007
Folding in ZForiginal ↗
17 Dec 2007
Isabelle 2007 releasedoriginal ↗
25 Nov 2007
Compact sets and the Axiom of Choiceoriginal ↗
19 Oct 2007
Groups and neutral elementsoriginal ↗
8 Oct 2007
new version of IsarMathLib releasedoriginal ↗
29 Sept 2007
Hello world!original ↗
22 Sept 2007
Previous