Ariadne Devos f43ea0588e Define lifts of arrows 5 лет назад
..
S f43ea0588e Define lifts of arrows 5 лет назад
Language.v 03ebdd14a7 Implement a Kleene closure 5 лет назад
Lattice.v 9800d1ca59 Specify distributive lattices and their dual 5 лет назад
Trace.v b93471c1ea Define and proof mapping traces 5 лет назад