Commit graph

Select branches

Hide pull requests

master

Mono Color

• 79812a9bd8 Add link to the draft master Yiyun Liu 2025-07-15 15:02:44 -04:00
• c52a2e4fff Add syntax.v Yiyun Liu 2025-07-03 11:32:53 -04:00
• 91ea4a95c2 Add new inductive.pdf Yiyun Liu 2025-06-26 16:19:14 -04:00
• ba1101330c Update pdf Yiyun Liu 2025-06-19 22:44:20 -04:00
• cc0163c013 Update the pdf Yiyun Liu 2025-06-17 13:06:56 -04:00
• 9e3d7210d3 Add updated inductive.pdf Yiyun Liu 2025-06-03 13:08:07 -04:00
• 5b0d271313 Add updated repl notes Yiyun Liu 2025-06-03 00:31:46 -04:00
• 09e7177980 Add repl notes Yiyun Liu 2025-06-01 23:46:28 -04:00
• 8f5425ac42 Add README.md Yiyun Liu 2025-04-20 22:00:10 -04:00
• c252582a4e Add update about mastodon Yiyun Liu 2025-04-20 21:56:25 -04:00
• d9742e6a94 Wrong branch Yiyun Liu 2025-03-21 18:02:27 -04:00
• b7820e6d9f Add woodpecker ci Yiyun Liu 2025-03-21 18:01:32 -04:00
• c1c726823b Add LICENSE for pico Yiyun Liu 2025-01-17 22:34:40 -05:00
• 8288ddd386 Update more links Yiyun Liu 2025-01-17 22:29:47 -05:00
• e690ceae08 Minor Yiyun Liu 2025-01-17 00:43:48 -05:00
• fa67776c8b Update git link and doi Yiyun Liu 2025-01-17 00:41:57 -05:00
• 1d7505942b Add lfs pdfs Yiyun Liu 2025-01-16 23:06:04 -05:00
• b483efe291 Add Mike's new page Yiyun Liu 2025-01-05 19:15:38 -05:00
• 547f039842 Minor Yiyun Liu 2025-01-05 19:14:48 -05:00
• 51d2614938 Fix typos Yiyun Liu 2025-01-05 19:13:43 -05:00
• d545e3b85f Initial Commit Yiyun Liu 2025-01-05 17:24:58 -05:00