Search results

"Proof failed" in Finite_State_Machines_ZF

Status: Open.

#48 In SKolodynski/IsarMathLib;

· SKolodynski opened on Jun 11, 2026

Problems because of notation

Status: Open.

#27 In SKolodynski/IsarMathLib;

· dan323 opened on Jan 9, 2023

Ring ideals

Status: Open.

#24 In SKolodynski/IsarMathLib;

· dan323 opened on Dec 30, 2022

A topological space is uniformizable iff it is completely regular.

Status: Open.

#16 In SKolodynski/IsarMathLib;

· SKolodynski opened on Dec 25, 2020

Uniformly continuous mappings

Status: Open.

#8 In SKolodynski/IsarMathLib;

· dan323 opened on May 6, 2020