Write Web Apps Like Mathematical Equations! (in Coq)
Stars
4
Forks
2
Watchers
Open Issues
3
Overall repository health assessment
^0.7.4
^2.3.0
^1.0.5
^4.0.5
^0.11.1
User
38
commits
Msg refactor, LimitedCounter
d2ebe49
WIP
efb0fe7
More proofs
fbe54ad
Actual proofs
c7658a2
Counter
a033942
Separate counter program
f39b1d3
event_possible
59022c3
Adding new todos
4f1e16a
Clear completed
b361e89
Advanced Pluralization
a0f78b1
Add docker-compose
d621c48
Toggling and deleting tasks; actual string_of_nat
6cbc4dc
05a7e84
TodoMVC HTML, task rendering
035beec
Update travis script
7fc44da