Skip to content

feat: more specific serialization and centralized deserialization #11

feat: more specific serialization and centralized deserialization

feat: more specific serialization and centralized deserialization #11

Annotations

2 errors

Build and test (leanprover/lean4:4.4.0)

cancelled Mar 5, 2024 in 41s