Coq-Combi

swMATH37869MaRDI QIDQ53570FDOQ53570

Author name not available (Why is that?)

Source code repository: https://github.com/hivert/Coq-Combi

Cited In (2)

• Lyndon words formalized in Isabelle/HOL
• Title not available (Why is that?)

This page was built for software: Coq-Combi