6 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
Marko	efbbc9462f	ci: add markdown linter (#146)	2020-08-24 11:47:31 +02:00
Callum Waters	31b182b7aa	update spec with the removal of phantom validator evidence (#126)	2020-07-31 12:03:44 +02:00
Ethan Buchman	603364bdaa	lite->light	2020-01-23 09:22:40 -08:00
Zarko Milosevic	026fddee4f	Aligh the correctness arguments with the pseudocode changes	2020-01-23 14:49:45 +01:00