search

uwplse / verdi-raft

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
BSD 2-Clause "Simplified" License
182 stars 19 forks source link

Replace use of omega with lia for Coq 8.14 #13741 #86

Closed jfehrle closed 3 years ago

jfehrle commented 3 years ago

For https://github.com/coq/coq/pull/13741

wilcoxjay commented 3 years ago

thanks!