Jump to content
Main menu
Main menu
move to sidebar
hide
Getting around
Main page
Simple start
Simple talk
New changes
Show any page
Help
Contact us
About Wikipedia
Special pages
Search
Search
Appearance
Give to Wikipedia
Create account
Log in
Personal tools
Give to Wikipedia
Create account
Log in
Pages for logged out editors
learn more
Contributions
Talk
Program verification
Add languages
Add links
Page
Talk
English
Read
Change
Change source
View history
Tools
Tools
move to sidebar
hide
Actions
Read
Change
Change source
View history
General
What links here
Related changes
Upload file
Permanent link
Page information
Cite this page
Get shortened URL
Download QR code
Print/export
Make a book
Download as PDF
Page for printing
Appearance
move to sidebar
hide
From Simple English Wikipedia, the free encyclopedia
Redirect page
Redirect to:
Formal verification
Search
Search
Program verification
Add languages
Add topic
