3 Commits

Author	SHA1	Message	Date
samricotta	5013bc3f4a	Update to markdown links (#9384) ... * first correction of markdown links * Review updates	2022-09-08 10:31:35 +02:00
Marko	1075f77cc3	spec: extract light-client to its own directory (#152) ... Co-authored-by: Callum Waters <cmwaters19@gmail.com>	2020-09-01 10:47:14 +02:00
Zarko Milosevic	026fddee4f	Aligh the correctness arguments with the pseudocode changes	2020-01-23 14:49:45 +01:00