GNU Lesser General Public License v3.0

antares

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

Other

aac-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components

algebra-tactics


Description


The Battle for Wesnoth is a turn-based tactical strategy game with a high fantasy theme. Build up a great army, gradually turning raw recruits into hardened veterans. In later games, recall your toughest warriors and form a deadly host whom none can stand against! Choose units from a large pool of specialists, and hand-pick a force with the right strengths to fight well on different terrains against all manner of opposition.Features:50+ skirmish/multiplayer maps.90+ minutes of original composed music.200+ unit types in six major factions, all with distinctive abilities, weapons and spells.200+ scenarios in 16 major campaigns â more than 100 hours of gameplay!(downloadable add-ons are under development) 400+ add-ons (campaigns, maps) are waiting for you!




An open source, turn-based strategy game with a high fantasy theme.

GNU General Public License v2.0

wesnoth

A Coq library providing tactics to deal with hypothesis

MIT License

LibHyps

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai] 

BSD 2-Clause "Simplified" License

coq-ext-lib

A comprehensive Domain-Driven Design example with problem space strategic analysis and various tactical patterns.

antares

aac-tactics

algebra-tactics

wesnoth

LibHyps

coq-ext-lib

library

whereat-macroid

AutoTTP