Skip to content

feat: more specific serialization and centralized deserialization #13

feat: more specific serialization and centralized deserialization

feat: more specific serialization and centralized deserialization #13

Annotations

1 error and 1 warning

Build and test (leanprover/lean4:4.5.0)

failed Mar 5, 2024 in 32s