Programming Languages/Coq Add New Item

---

Show me   Any format Apps and Software Tools Articles and Essays Audios and Podcasts Blogs and Twitter feeds Books Assessment and Certifications Forums and Chat Groups Cheatsheets Code Conferences Courses and MOOCs FlashCards Games Pictures and Infographics Interactives and Explorables Journals and Magazines Learning Plans Livestreams Meetups Newsletters People Q & A forums Research Papers Summary or notes Videos and Films Websites Wikis Discussion Threads   which are   Any length < 5 minutes 5 to 15 minutes 15-30 minutes 30 to 60 minutes 1 to 3 hours more than 3 hours   long and   Any quality inspirational educational challenging entertaining visual interactive    

Quick searches: Learning Plans | Short Videos | Learn By Doing | Books | Challenging | Visual | All

---