fgm/learning_tla
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
learning_tla/lamport_pluscal/pc2_euclid_liveness.svg
Frederic G. MARAND b4b3b4e1a5 Lamport PlusCal: 2.1-2.5 Euclid's algorithm.
2025-02-27 16:24:42 +01:00

241 lines
17 KiB
XML
Raw Permalink Blame History