proof

20La chaleur

5Répondre

preuves sur les expressions régulières

Est-ce que quelqu'un connaît des exemples de ce qui suit? preuve développements au sujet regular expressions (éventuellement prolongé avec backreferences) dans des assistants de preuve (tels que Coq).

regex types proof coq agda 2009-05-22

---