wiki.mizar.org
WebHome < Mizar < TWiki
http://wiki.mizar.org/twiki/bin/view/Mizar/WebHome
Web is the main collaboration area for people using the Mizar proof checker and people involved in its implementation or implementation of related software. Please do not hesitate to add/edit as many pages as you can. Hint: Subscribe to WebNotify. To be automatically notified when something changes in the TWiki.Mizar web. Mizar Questions and Hints. Mizar Wishes and Bugs. Mizar Web Site Tools. Hot Topics ( more. More search options in WebSearch. Mizar Questions and Hints. Why is Mizar behaving like this?
blog.felixbreuer.net
Formal proof - first steps with HOL Light - Felix Breuer's Blog
http://blog.felixbreuer.net/2012/06/11/hol.html
Formal proof - first steps with HOL Light. Recently, I have philosophized. About how the mathematical community needs to move beyond (new) theorems as their currency of research. One different form of currency that I personally find particularly interesting are formal proofs. So, in the last few weeks I have spent some time getting my feet wet with one of the formal proof systems. Out there: HOL Light. During my experiments the hol-info. I will begin by giving a short summary of the informal proof and it...
learningideas.me.uk
How to write mathematics clearly
http://learningideas.me.uk/clearmaths/index.html
Home / more articles. How to write mathematics clearly. And keep more readers. By Matthew Leitch, 4 September 2009. Good reasons to write mathematics clearly. If you read or write mathematics, at school, college, as a teacher, as a researcher, as an author - for any reason whatsoever - you may have noticed already that mathematical writing often isn't as clear as it might be. But however many opportunities you see for improvement the chances are there's much more than you realise today. Not only do peopl...
diondigit.blogspot.com
Diondigit: The errors after uninstalling satya164's "Elegance Colors" GNOME Shell Theme
http://diondigit.blogspot.com/2014/06/the-errors-after-uninstalling-satya164s.html
Resu, North Garo Hills, Meghalaya 794108. Wednesday, 11 June 2014. The errors after uninstalling satya164's "Elegance Colors" GNOME Shell Theme. A lot who have tried satya164. S " Elegance Colors. Know that upon doing. The errors comes out as follows:. Download.opensuse.org repositories home satya164 elegance-colors Fedora 20 1.6 kB 00:00:00. Http:/ download.opensuse.org/repositories/home%3A/satya164%3A/elegance-colors/Fedora 20/x86 64/repodata/repomd.xml: [Errno 14] HTTP Error 404 - Not Found. Resu Conv...
marciszewski.eu
Witold Marciszewski's Home Page (Polish)
http://www.marciszewski.eu/autobio/human-mat.html
Notatki osobiste - odcinek 1. 1 Rok szczególnej zażyłości z Leibnizem. Zdjęcie pochodzi z roku 1987, czasu pracy w Salzburgu. Ta data i miejsce są na tyle ważne w moim życiu zawodowym, że chcę ów czas tym obrazkowym akcentem upamiętnić. Z ochotą prowadziłem wtedy na uniwersytecie salzburskim seminarium na temat logiki i filozofii Leibniza - zogniskowane wokół jego dowodu istnienia Boga. Dowód taki zamieścił on w roli aneksu do swej rozprawy doktorskiej De Arte Combinatoria. Miałem nieprzepartą potrzebę p...
interactive-theorem-proving.blogspot.com
Interactive Theorem-Proving: ITP 2011
http://interactive-theorem-proving.blogspot.com/2011/01/itp-2011-is-at-nijmegen-this-year.html
Occasional thoughts and updates about the world of interactive theorem-proving. The next iteration of the interactive theorem-proving conference, ITP 2011, is in Nijmegen this year. See all the details at the official web-page. Note the important paper submission details! Abstracts due 13 February; full papers a week after that.). Subscribe to: Post Comments (Atom). View my complete profile. Interactive Theorem Proving Systems. Simple template. Powered by Blogger.
interactive-theorem-proving.blogspot.com
Interactive Theorem-Proving: Piotr Rudnicki has died
http://interactive-theorem-proving.blogspot.com/2012/11/piotr-rudnicki-has-died.html
Occasional thoughts and updates about the world of interactive theorem-proving. Piotr Rudnicki has died. Piotr Rudnicki, a developer and proponent of the influential Mizar system, died on 17 November, aged 61. Subscribe to: Post Comments (Atom). View my complete profile. Interactive Theorem Proving Systems. Piotr Rudnicki has died. Simple template. Powered by Blogger.
interactive-theorem-proving.blogspot.com
Interactive Theorem-Proving: March 2010
http://interactive-theorem-proving.blogspot.com/2010_03_01_archive.html
Occasional thoughts and updates about the world of interactive theorem-proving. Robin Milner has died. Robin Milner died on Saturday 20th March, in Cambridge, just three days after the funeral of his wife, Lucy. There may well be notices at Cambridge and Edinburgh in due course. See the Wikipedia page. For more on his career. From the ITP perspective, he is famous for his work on the influential LCF system. Subscribe to: Posts (Atom). View my complete profile. Interactive Theorem Proving Systems.
interactive-theorem-proving.blogspot.com
Interactive Theorem-Proving: November 2012
http://interactive-theorem-proving.blogspot.com/2012_11_01_archive.html
Occasional thoughts and updates about the world of interactive theorem-proving. Piotr Rudnicki has died. Piotr Rudnicki, a developer and proponent of the influential Mizar system, died on 17 November, aged 61. Subscribe to: Posts (Atom). View my complete profile. Interactive Theorem Proving Systems. Piotr Rudnicki has died. Simple template. Powered by Blogger.
interactive-theorem-proving.blogspot.com
Interactive Theorem-Proving: October 2012
http://interactive-theorem-proving.blogspot.com/2012_10_01_archive.html
Occasional thoughts and updates about the world of interactive theorem-proving. And we're now using git, btw. That latest release of HOL4 was built from our git repository at github. Working with git has been a real pleasure, and the github issue-tracker has wormed its way into our workflow as well. The sourceforge page. Is still our public face. HOL4’s latest version (Kananaskis-8) has been released. You can get it from Sourceforge. Subscribe to: Posts (Atom). View my complete profile.