Open Issues Need Help
View All on GitHub docs: next high-traffic error-codes.md batch (~130 still unindexed) about 1 month ago
documentation good first issue ready
Contract-first AI-native language. Write what it should do. AI proves it does.
Rust
#ai#compiler#contracts#formal-verification#programming-language#rust#smt#verification#z3
docs: expand error-codes.md high-traffic table (~180 unindexed codes) about 1 month ago
documentation good first issue ready
Contract-first AI-native language. Write what it should do. AI proves it does.
Rust
#ai#compiler#contracts#formal-verification#programming-language#rust#smt#verification#z3
documentation good first issue ready
Contract-first AI-native language. Write what it should do. AI proves it does.
Rust
#ai#compiler#contracts#formal-verification#programming-language#rust#smt#verification#z3
enhancement good first issue ready
Contract-first AI-native language. Write what it should do. AI proves it does.
Rust
#ai#compiler#contracts#formal-verification#programming-language#rust#smt#verification#z3
documentation good first issue production-readiness
Contract-first AI-native language. Write what it should do. AI proves it does.
Rust
#ai#compiler#contracts#formal-verification#programming-language#rust#smt#verification#z3