Skip to content
ENTITY PROFILE / KNOWLEDGE GRAPH

ArkLib

RSS

koalaIRS12 is formalized in ArkLib. ArkLib is a Lean 4 library for formally verified arguments of knowledge. Opus 5 is one of the best overall models for DiG-bench· Entity summary generated by Graphiti

RELATIONS
3Relations
CURRENT
3Current
EVENTS
0Events
REPORTS
2Source reports
KNOWLEDGE ATLAS0 entities · 0 relations
No public neighbors yet
Explore all published links of a node; previously discovered relations remain visible.

Relation timeline

BY VALID-FROM DATE
  1. ArkLibBUILT WITHLean

    ArkLib is a Lean 4 library for formally verified arguments of knowledge.

    Current1 sourceLean
  2. koalaIRS12FORMALIZED INArkLib

    koalaIRS12 is formalized in ArkLib.

    Current1 sourcekoalaIRS12
  3. ArkLibBEST MODEL INxAI

    Opus 5 is one of the best overall models for DiG-bench

    Current1 sourcexAI

Relations are facts Graphiti extracted from reports, not verbatim quotes. An end date means later reporting showed the relation no longer holds.

Source reports 2