twelf.org

.org crawl

First seen 2026-04-21 · Last seen 2026-05-11 · ok HTTP/1.1 200 2698 ms crawled 2026-05-15

US · 216.24.57.1 · AS397273 Render

Classifying

HTML metadata

Title: The Twelf Programming Language and Theorem Prover
Description: Twelf is a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics.
Language: en
Generator: Astro v4.16.19
Canonical: https://twelf.org/

url: https://twelf.org/
title: The Twelf Project
locale: en
site name: Twelf
description: Twelf is a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics.

Registrar

GoDaddy.com, LLC

Created

1999-11-10

Expires

2026-11-10 175 days left

Updated

2024-12-25

Name servers

NS

WE1

from 2026-04-24 to 2026-07-23

Expires in 66 days

Header hygiene 40/100 Checked live page: https://twelf.org/

present

findings

Header values