Apodeixis
beta
Projects
Login
Projects
Indexed projects
Owner:
Gogopex
clear
1
Shown
1
On GitHub
Project
Formalized
Status
Updated
Actions
Gogopex/pfr
89%
blueprint
healthy
latest verification and indexing succeeded
7/14/2026, 7:50:59 PM
Changes
Keyboard shortcuts
/
focus theorem search
g w
work
g h
home
g p
projects
g r
profile
g a
activity
g i
inbox
g s
settings
g o
ops
?
open this help
Esc
close menus/help
Close