Directory of grok.me sites / brief
Borel Jet Extensions
higher-borel-jets.grok.me
Borel Jet Extensions
A formal note on Borel jet extensions, their algebra, and jet-order optimization, read in ∞-groupoids and homotopy type theory.
Sophistication
6/10
Built
Detected local persistence.
What it is
Borel Jet Extensions is wired up with local persistence.
Of note
- Ships its own share image
Features
- Local persistence
Stack
No library signatures.
Services
No third-party services spotted.
Registry
- Status
- live
- Access
- public
- Category
- Writing
- Cover
- Has image
- First seen
- about 1 hour ago
- Last ok
- 8 minutes ago
- Remixes
- 0
Maker on X
No handle yet. Anyone can set this. It is not verified. Wrong? Message @directorygrokme.
Read from the public homepage HTML. Not a security audit. · @directorygrokme