HOL Light theorem prover
From Free net encyclopedia
Wikipedia does not have an article with this exact name.
- [{{fullurl:Template:FULLPAGENAME|action=edit}} Start the HOL Light theorem prover article] or add a request for it.
- Search for HOL Light theorem prover in other articles.
- [[Wiktionary:Template:FULLPAGENAMEE|Look for HOL Light theorem prover]] in Wiktionary, our sister dictionary project.
- [[Commons:Template:FULLPAGENAMEE|Look for HOL Light theorem prover]] in the Commons, our repository for free images, music, sound, and video.
- [[Special:Whatlinkshere/Template:FULLPAGENAMEE|Look for pages within Wikipedia linking to this article]].
- If you have created this page in the past few minutes and it has not yet appeared, it may not be visible due to a delay in updating the database. Try [{{fullurl:Template:FULLPAGENAME|action=purge}} purge], otherwise please wait and check again later before attempting to recreate the page.
- If you created an article under this title previously, it may have been deleted. [[[Template:Fullurl:Special:Log]]}} Check for Template:FULLPAGENAME in the deletion log], or visit its [[Wikipedia:Articles for deletion/Template:FULLPAGENAMEE|deletion vote page]] if it exists. See the criteria for speedy deletion for possible reasons it may have been deleted.