4 ms·
I guess it was done as an afterthought? This is supposed to be a lean formalization https://github.com/openai/cdc-lean https://github.com/openai/cdc-lean
by kzrdude 3mo ago
I guess it was done as an afterthought? This is supposed to be a lean formalization https://github.com/openai/cdc-lean https://github.com/openai/cdc-lean