coln-project

coln-project/Coln

A data-oriented proof assistant

15 stars 2 forks 15 watchers Rust
View on GitHub
1 Open Issue Need Help Last updated: Aug 10, 2026

Open Issues Need Help

View All on GitHub
Ideas for coln-compiler's FLIR (JSON) output about 2 hours ago
good first issue lowerer coln-compiler
coln-project/Coln
15

A data-oriented proof assistant

Rust