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

163 KiB
Raw Permalink History

View file