Generated by ChatGPT on 2025-02-19 # Table of Contents for 101 Current Writing ## Subdirectories - [[ANS NPIC HITL FHE/ANS NPIC HITL FHE - README]] ## Files - [[ARCADE Implementation at the University of Pittsburgh.md]] - [[Models All The Way Down - A Path Towards Software and Physical System Proof Synergy.md]] ## Summary This directory appears to contain a collection of writing resources, specifically related to computer science and software development. It includes a README file for the Arcade Implementation at the University of Pittsburgh and a draft text for "Models All The Way Down - A Path Towards Software and Physical System Proof Synergy". Generated by llama3.2:1b