About bjorn_solheim
Interests: lean, mathlib, modern variants of empiricism, knowledge as data compression, general probabilistic theories, formal systems, axiomatic set theory, type theory, proof verification, constructive logic and mathematics
Lists
bjorn_solheim has no public lists
Timeline
bjorn_solheim has no activity yet