Formalized Mathematics slawekk.wordpress.com

IsarMathLib 1.35.0: Update to Isabelle 2025-1, Uniformities and pseudometrics

slawekk.wordpress.com·21w

IsarMathLib 1.34.0: Z-modules and complete lattice of uniformities

slawekk.wordpress.com·38w

IsarMathLib 1.33.0: ultrafilters, ultraproducts, hypernaturals, order on uniformities

slawekk.wordpress.com·52w

IsarMathLib 1.32.0: Update to Isabelle2025 and Uniformity from collection of pseudometrics

slawekk.wordpress.com·61w

Panel Discussion on Formalization in Mathematics

slawekk.wordpress.com·93w

IsarMathLib 1.31.0: Pseudometric spaces as uniform spaces

slawekk.wordpress.com·94w

IsarMathLib 1.30.0: Modules and update to Isabelle2024

slawekk.wordpress.com·103w

IsarMathLib 1.29.0: Modules and vector spaces

slawekk.wordpress.com·112w

Variance swaps in a CAS

slawekk.wordpress.com·136w

IsarMathLib 1.28.1: Update to Isabelle2023

slawekk.wordpress.com·139w

IsarMathLib 1.28.0: Binomial theorem

slawekk.wordpress.com·158w

IsarMathLib 1.27.0: Spectrum of a quotient ring, Finite State Machines

slawekk.wordpress.com·165w

Log in to enable infinite scrolling