Skip to content

remove "category" as default value from Svelte components and propert…

8deb90d
Select commit
Loading
Failed to load commit list.
Merged

Merge category and functor deduction scripts #191

remove "category" as default value from Svelte components and propert…
8deb90d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar