search
Get Started

Best Univalent Foundations

Updated Daily
inventory_2 1 items
•
psychology AI-Assisted Ranking
•

Rankings are calculated based on verified user reviews, recency of updates, and community voting weighted by user reputation score.

emoji_events View Best Univalent Foundations Rankings
Filter by Tags
0.0 – 10.0
Top Ranked
Best 1 Vladimir Voevodsky
Vladimir Voevodsky

Vladimir Voevodsky was a Russian-American mathematician known for his groundbreaking work in homotopy type theory and univalent foundations. He received the Fields Medal in 2006 for his contributions...

Russia Math Education Fields Medal Math Research Math Theory Math Philosophy Homotopy Theory Category Theory Homotopy Type Theory Univalent Foundations
7.7 Good
Visit
You've reached the end — 1 items

Save to your list

Create your first list and start tracking the tools that matter to you.

Track favorites
Get updates
Compare scores

Already have an account? Sign in

Welcome back

Sign in to your account

google Sign in with Google
OR CONTINUE WITH EMAIL
Forgot password?
Don't have an account? Sign up

Create your account

Start discovering the best tools

google Continue with Google
or sign up with email
Already have an account? Sign in
lock_reset

Reset your password

Enter your email and we'll send you a reset link

arrow_back Back to sign in
close

Compare Items

See how they stack up against each other

Comparing
VS
Select 1 more item to compare
compare_arrows Compare