Scallina
A Coq-based synthesis of Scala programs which are correct-by-construction
GPL-3.0 License
Stars
79
Committers
2
Commit Statistics
Past Year
All Time
Total Commits
0
192
Total Committers
0
4
Avg. Commits Per Committer
0.0
48.0
Bot Commits
0
0
Issue Statistics
Past Year
All Time
Total Pull Requests
0
3
Merged Pull Requests
0
2
Total Issues
0
0
Time to Close Issues
N/A
N/A