Post

anyone know of experiments with llm-coding-ides that look something like, as the programmer, you look at and review the following and nothing else: - types - in which folders code that interacts with certain types lives - lean proofs about certain relationships between types