47,914 results found (page 3 of 3195)
https://devel.isa-afp.org

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle . It is organized in the way of a scientific journal, is indexed by dblp and has an ISSN: 2150-914x. Submissions are …

http://www.isa-afp.org

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle . It is organized in the way of a scientific journal, is indexed by dblp and has an ISSN: 2150-914x. Submissions are …

https://volunteers.joomla.org/teams/bug-squad

Bug Squad Bug Squad (JBS) Official The purpose of the Joomla! Bug Squad is to reduce the number of bugs in Joomla. Learn more about the Bug Squad on our portal! Website Department Production Date Started June 2008 Joomlers Honour Roll Roles Reports Get Involved Contact Joomler Po…

https://issues.genenetwork.org

tissue issue tracker Hint Refine your search with filters type:issue type:document is:open is:closed title:git creator:mani lastupdater:vel assigned:muthu tag:feature-request , etc. Optionally, combine search terms with boolean operators AND and OR . See Xapian::QueryParser Synta…

https://scsanctions.un.org/consolidated

To Save this page as a PDF document 1) click the 'Print to PDF' button 2) Select desired printer Save to PDF or the option that your system provides 3) click the print button 4) Select the destination on your machine to save the pdf document United Nations Security Council Consol…