As you may have seen on -dev, George Shapovalov is currently reorganizing the science project. There are a couple hundreds packages in sci-* but people, like myself, were a bit frightened at the idea of joining this project if only interested in a small subset of them. Well, it seems that “sub-herds” are being created. I jumped on the occasion and will deal with the math-proof herd. For now, it’s only sci-mathematics\/coq and sci-mathematics\/otter, which are both proof assistants. I plan to also add agda soon (my current ebuild has a sandbox violation, I guess I need to tweak the Makefile), as it is quite close to my research interest (Martin-L<\/p>\n","protected":false},"excerpt":{"rendered":"
As you may have seen on -dev, George Shapovalov is currently reorganizing the science project. There are a couple hundreds packages in sci-* but people, like myself, were a bit frightened at the idea of joining this project if only interested in a small subset of them. Well, it seems that “sub-herds” are being created. … Continue reading math-proof and London<\/span><\/a><\/p>\n","protected":false},"author":42,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[3],"tags":[],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/blogs.gentoo.org\/nattfodd\/wp-json\/wp\/v2\/posts\/3"}],"collection":[{"href":"https:\/\/blogs.gentoo.org\/nattfodd\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.gentoo.org\/nattfodd\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.gentoo.org\/nattfodd\/wp-json\/wp\/v2\/users\/42"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.gentoo.org\/nattfodd\/wp-json\/wp\/v2\/comments?post=3"}],"version-history":[{"count":1,"href":"https:\/\/blogs.gentoo.org\/nattfodd\/wp-json\/wp\/v2\/posts\/3\/revisions"}],"predecessor-version":[{"id":19,"href":"https:\/\/blogs.gentoo.org\/nattfodd\/wp-json\/wp\/v2\/posts\/3\/revisions\/19"}],"wp:attachment":[{"href":"https:\/\/blogs.gentoo.org\/nattfodd\/wp-json\/wp\/v2\/media?parent=3"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.gentoo.org\/nattfodd\/wp-json\/wp\/v2\/categories?post=3"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.gentoo.org\/nattfodd\/wp-json\/wp\/v2\/tags?post=3"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}