Mentions légales du service
A simpler version of tyxml
Implementations of the union-find data structure
Mapping a tensor to a lower-dimensional tensor, optionally permuting its dimensions.
This project strives to generate loop iterating over these structures.
A modeling of the Encrypted Client Hello Message extension for TLS
A regular verification framework based on Tree Automata and Term Rewriting Systems.
Formalizations accompanying my thesis "Extending Type Theory with Syntactical Models".
Tool for timed automata verification and robustness analysis
Fork of https://github.com/smtcoq/smtcoq.
Store and explore databases of ancient inscriptions in Linear A