Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to dag-lattice-builder at DanilaFe/agda-spa 2025-12-07 23:20:46 -08:00
299938d97e Add decidability proofs for properties
927030c337 Prove that having a top and bottom element is decidable
ef3c351bb0 Add some utility proofs about uniqueness etc.
Compare 3 commits »
DanilaFe pushed to dag-lattice-builder at DanilaFe/agda-spa 2025-11-29 22:48:30 -08:00
84c4ea6936 Prove final postulate about cycles in graphs
DanilaFe pushed to dag-lattice-builder at DanilaFe/agda-spa 2025-11-29 21:36:30 -08:00
a277c8f969 Prove walk splitting
d1700f23fa Add some helpers
Compare 2 commits »
DanilaFe created branch dag-lattice-builder in DanilaFe/agda-spa 2025-11-28 22:45:58 -08:00
DanilaFe pushed to dag-lattice-builder at DanilaFe/agda-spa 2025-11-28 22:45:58 -08:00
eb2d64f3b5 Properly state all-paths property using simple walks
14214ab5e7 Reorder definitions to be in the order the graph is built up
baece236d3 Re-define 'interior'
6f642d85e0 Put self-paths into the adjacency graph
25fa0140f0 Switch to a path definition that allows trivial self-loops
Compare 9 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2025-11-27 11:31:10 -08:00
f5457d8841 Move proof of least element into FiniteHeightLattice
DanilaFe created branch main in ChapelCon/ChapelCon2025-Slides 2025-10-10 13:13:20 -07:00
DanilaFe pushed to main at ChapelCon/ChapelCon2025-Slides 2025-10-10 13:13:20 -07:00
6ccf99656c Finalize slides given timing constraints
86f1ba686a Apply Jade's feedback
0c4129337a Remove information learned later from intro
d9ff3953f7 Add meme
9c24aac627 Fix numerous typos
DanilaFe created repository ChapelCon/ChapelCon2025-Slides 2025-10-10 13:11:17 -07:00
DanilaFe pushed to main at DanilaFe/agda-spa 2025-07-25 10:56:42 -07:00
d99d4a2893 [WIP] Demonstrate partial lattice construction
fbb98de40f Prove the other absorption law
706b593d1d Write a lemma to wrangle PartialAbsorb proofs
45606679f5 Prove one of the absorption laws
Compare 4 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2025-07-25 08:26:07 -07:00
7e099a2561 Delete debugging code
2808759338 Add instances of semilattice proofs
42bb8f8792 Extend laws on Path' to Path versions
05e693594d Prove idempotence of meet and join
90e0046707 Prove missing congruence law
Compare 8 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2025-07-22 09:05:24 -07:00
36ae125e1e Prove associativity
6055a79e6a Prove a side lemma about nothing/just
01f7f678d3 Prove congruence of various operations
14f1494fc3 Provide a definition of partial congruence
d3bac2fe60 Switch to representing least/greatest with absorption
Compare 15 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2025-04-20 19:13:44 -07:00
a611dd0f31 Add 'ExtendBelow' lattice, which adds new bottom to lattices
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-04-12 17:57:46 -07:00
41fea82c93 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2025-04-12 17:57:01 -07:00
7fbd4ea9f8 Update theme with syntax highlighting fix
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2025-04-12 17:56:34 -07:00
952502e690 Re-enable syntax highlighting in light mode
388a4f1589 style: Fix inconsistent indentation in SCSS files for clarity
Compare 2 commits »
DanilaFe pushed to main at Web-Projects/blog-versions 2025-04-12 17:42:15 -07:00
f684de8e5e Add screenshots of pages
7028e64fab Latest settings
4cd4cf18f0 Add playwright configs
85321cf744 Delete backstop stuff
6f29015422 Set up a mostly-default project with BackstopJS
DanilaFe created branch main in Web-Projects/blog-versions 2025-04-12 17:42:14 -07:00
DanilaFe created repository Web-Projects/blog-versions 2025-04-12 17:40:32 -07:00
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-04-07 22:46:09 -07:00
ce09d9d7a4 Update resume