Loading public business profile
Reading the canonical Directory record.
Business profile unavailable
The public record could not be loaded.
Public Directory
Public business profile
Business profile
Loading canonical business information.
Business profile
About
No public description is available.
Public offering
0
Services
Public offering
0
Products
From the business
0
Offers
Published by the business. Confirm current availability and terms with the business.
From the business
0
Promotions
Published by the business. Confirm current availability and terms with the business.
From the business
0
Frequently asked questions
Answers published by the business.
Agentic access
0
Published agent capabilities
Capabilities recorded in this listing. Their presence is not a live availability check.
For people, developers and AI
Public information
AI-readable discovery
Read the structured business information and inspect the published discovery documents.
Machine-readable documents do not by themselves establish a live AI agent, checkout or business ownership.
Talk to the business
Request a quote
Loading quote availability…
Public evidence
0
Sources
Public business listing
Owner sign-in
Claim this business
Suggest a correction
Report this listing
Tell us what needs reviewing. Removal requests are reviewed before any change is made.
Request removalProfile information
Publication, owner access and business registry verification are separate. Verification badges describe the checks completed; public references identify this listing.
Structured public business summary
Leni Aniva
Leni Aniva Straddling the boundary of impossible. About Blog Tags Gallery Research Archives Leni Aniva About Curriculum Vitae Education Research MATP Others Teaching Trivia About I am a CS PhD student at Stanford University’s Centaur Lab . Prior to entering Stanford, I studied at the University of Waterloo and graduated in 2022.
St. Helena
Business nature
- Primary business nature
- Not provided
- Customer market
- Not provided
Operating hours
Hours not provided.
Categories
- Education & Training (primary)
Service areas
- Saint Helena
Public contacts
- Public phone: 2022- 2028
- github: https://github.com/lenianiva
- github: https://github.com/stanford-centaur/PyPantograph
- github: https://github.com/cvc5/cvc5
- github: https://github.com/lenianiva/lean4-nix
Directory status
Registry verification: Not Registry Verified
Directory score: 74