If you are not sure if the website you would like to visit is secure, you can verify it here. Enter the website address of the page and see parts of its content and the thumbnail images on this site. None (if any) dangerous scripts on the referenced page will be executed. Additionally, if the selected site contains subpages, you can verify it (review) in batches containing 5 pages.
favicon.ico: openlogicproject.org - Open Logic Project Open Sourc.

site address: openlogicproject.org redirected to: openlogicproject.org

site title: Open Logic Project Open Source, Customizable, Adv...

Our opinion (on Thursday 01 October 2026 2:16:56 UTC):

website (probably) only for adults * website (probably) only for adults ! YELLOW status (not for everyone) - not for everyone
After content analysis of this website we propose the following hashtags:
#source


Meta tags:

Headings (most frequently used words):

an, open, source, collaborative, logic, text, about, download, people, what, is, this, news, archives,

Text of the page (most frequently used words):
2017 (12), open (12), 2015 (11), logic (11), and (10), 2016 (9), the (9), september (7), 2023 (7), march (6), july (6), august (6), 2019 (6), october (5), november (5), #source (5), text (5), december (4), may (4), january (4), june (4), for (4), about (4), february (3), 2018 (3), fall (3), project (3), collaborative (3), mathematical (3), github (3), click (3), here (3), people (3), download (3), you (3), license (2), 2014 (2), april (2), 2020 (2), 2021 (2), 2025 (2), archives (2), version (2), forall (2), now (2), news (2), search (2), aimed (2), non (2), audience (2), more (2), team (2), contributions (2), find (2), out (2), code (2), advanced (2), theme, athemes, airi, proudly, powered, wordpress, info, openlogicproject, org, 2013, 2022, 2026, select, month, calgary, yyc, official, amazon, selinger, fitch, sty, beta, preparing, portuguese, textbook, formal, methods, starting, intermediate, level, read, what, this, mastodon, rss, envelope, twitter, facebook, authored, edited, international, logicians, community, where, how, get, pdfs, coverage, plans, publishing, framework, availability, terms, collection, teaching, materials, intended, use, courses, taught, many, philosophy, departments, can, latex, free, change, whichever, way, like, share, your, changes, working, using, platform, welcome, feedback, written, with, configurability, mind, learn, below, home, toggle, mobile, menu, skip, content, customizable,


Text of the page (random words):
open logic project open source customizable advanced logic text skip to content toggle mobile menu home about people download github news search for an open source collaborative logic text the open logic project is a collection of teaching materials on mathematical logic aimed at a non mathematical audience intended for use in advanced logic courses as taught in many philosophy departments it is open source you can download the latex code it is open you re free to change it whichever way you like and share your changes it is collaborative a team of people is working on it using the github platform and we welcome contributions and feedback and it is written with configurability in mind learn more below about find out about the coverage plans publishing framework availability and license terms of the open logic text click here download find out where and how to get the source code and pdfs of the open logic text click here people the open logic text is authored and edited by an international team of logicians and is open to contributions by the community click here facebook f twitter github envelope rss mastodon what is this it s is an open source collaborative textbook of logic and formal methods starting at an intermediate level aimed at a non mathematical audience read more in about search for news open logic project now in portuguese preparing for fall 2025 selinger s fitch sty 1 0 beta fall 2023 version of forall x yyc now official on amazon fall 2023 version of forall x calgary archives archives select month july 2026 1 june 2025 1 october 2023 1 september 2023 1 august 2023 1 july 2023 1 march 2023 1 november 2022 1 july 2021 1 june 2021 1 september 2020 1 august 2020 1 november 2019 1 september 2019 1 august 2019 1 may 2019 1 march 2019 1 january 2019 1 september 2018 1 march 2018 1 february 2018 1 december 2017 2 november 2017 2 october 2017 2 september 2017 1 august 2017 2 july 2017 1 june 2017 1 may 2017 1 april 2017 1 march 2017 1 february 2017 2 january 2017 1 december 2016 1 november 2016 1 october 2016 3 september 2016 1 august 2016 4 july 2016 1 march 2016 2 february 2016 1 january 2016 3 december 2015 3 november 2015 3 october 2015 7 september 2015 1 august 2015 1 july 2015 1 june 2015 3 may 2015 4 april 2015 1 march 2015 2 january 2015 2 october 2014 1 may 2014 1 december 2013 1 license cc by info openlogicproject org proudly powered by wordpress theme airi by athemes
Thumbnail images (randomly selected): * Images may be subject to copyright.YELLOW status (not for everyone)website (probably) only for adults

    No Images


    Verified site has: 13 subpage(s). Do you want to verify them? Verify pages:

    1-5 6-10 11-13


    The site also has references to the 1 subdomain(s)

      openlogicproject.org  Verify


    The site also has 5 references to external domain(s).

     github.com  Verify  facebook.com  Verify  twitter.com  Verify
     wordpress.org  Verify  athemes.com  Verify


    Top 50 hastags from of all verified websites.

    Supplementary Information (add-on for SEO geeks)*- See more on header.verify-www.com

    Header

    HTTP/1.1 302 Found
    Content-Type text/html; charset=iso-8859-1
    Content-Length 253
    Connection close
    X-WS-Origin available
    X-WS-RateLimit-Limit 1000
    X-WS-RateLimit-Remaining 999
    Date Thu, 01 Oct 2026 02:16:54 GMT
    Server Apache
    Location htt????/openlogicproject.org/
    Cache-Control max-age=3600
    Expires Thu, 01 Oct 2026 03:16:54 GMT
    HTTP/2 200
    content-type text/html; charset=UTF-8
    x-ws-origin available
    x-ws-ratelimit-limit 1000
    x-ws-ratelimit-remaining 998
    date Thu, 01 Oct 2026 02:16:54 GMT
    server Apache
    x-powered-by PHP/8.4.24
    vary accept,content-type
    link <htt????/openlogicproject.org/wp-json/>; rel= htt????/api.w.org/ , <htt????/openlogicproject.org/wp-json/wp/v2/pages/157>; rel= alternate ; title= JSON ; type= application/json , <htt????/openlogicproject.org/>; rel=shortlink
    content-encoding gzip

    Meta Tags

    title="Open Logic Project Open Source, Customizable, Advanced Logic Text"
    charset="UTF-8"
    name="viewport" content="width=device-width, initial-scale=1"
    name="robots" content="max-image-preview:large"
    name="generator" content="WordPress 7.0.6"
    property="fediverse:creator" name="fediverse:creator" content="openlogic@openlogicproject.org"
    name="og:url" content="htt????/openlogicproject.org/"
    name="generator" content="Elementor 4.3.3; features: additional_custom_breakpoints; settings: css_print_method-external, google_font-enabled, font_display-auto"
    property="og:type" content="website"
    property="og:title" content="Open Logic Project"
    property="og:description" content="Open Source, Customizable, Advanced Logic Text"
    property="og:url" content="htt????/openlogicproject.org/"
    property="og:site_name" content="Open Logic Project"
    property="og:image" content="htt????/i0.wp.com/openlogicproject.org/wp-content/uploads/2018/12/openlogic-logo.png?fit=400%2C399&ssl=1"
    property="og:image:width" content="400"
    property="og:image:height" content="399"
    property="og:image:alt" content=""
    property="og:locale" content="en_US"
    name="twitter:site" content="@OpenLogicProj"
    name="twitter:text:title" content="An Open-Source, Collaborative Logic Text"
    name="twitter:image" content="htt????/i0.wp.com/openlogicproject.org/wp-content/uploads/2018/12/openlogic-logo.png?fit=240%2C240&ssl=1"
    name="twitter:card" content="summary"
    name="msapplication-TileImage" content="htt????/i0.wp.com/openlogicproject.org/wp-content/uploads/2018/12/openlogic-logo.png?fit=270%2C270&ssl=1"

    Load Info

    page size24770
    load time (s)2.665505
    redirect count1
    speed download9294
    server IP 74.208.236.59
    * all occurrences of the string "http://" have been changed to "htt???/"