Explore >> Select a destination
|
You are here 
|
netopyr.com | ||
| | | | |
gist.github.com
|
|
| | | | | GitHub Gist: instantly share code, notes, and snippets. | |
| | | | |
johnwickerson.wordpress.com
|
|
| | | | | My friend and colleague George Constantinides wrote an interesting post on his blog recently where he formalises St Anselm's argument for the existence of God. Since I'm teaching a course on the Isabelle proof assistant this term, I thought I'd see if I could recreate that argument using Isabelle. Here goes... theory God imports Main... | |
| | | | |
jonchristopher.us
|
|
| | | | | Customizing and segmenting Custom Taxonomy archive pages can be a bit difficult until you determine what exactly is going on under the hood and implementing from there. Custom Taxonomies in WordPress are a very powerful feature, let's figure out how to make some nice looking archive pages for them. | |
| | | | |
github.com
|
|
| | | MSVC's implementation of the C++ Standard Library. - STL/stl/inc/vector at 530bdc5aaa8a21277e1281ad3df8b8d8433b5caa · microsoft/STL | ||
