KG

icon company University of Virginia | TI-Toolkit icon location Charlottesville, VA icon location Skilled in Python, number theory, code golf, and messing about with calculators. Judge for IOPCC. Co-founder and developer of @TI-Toolkit.

Results 3 issues of KG

Rename math symbols

2 comment

A number of math symbols could use some adjustments to their names to improve consistency and ease-of-use. Many proposals have been discussed on Discord, though this PR represents only those...

symbols

Make debugging exciting

1 comment

__Lemma__: Code makes me excited. __Proof__: ```py print("Hello world")!!! ``` __Lemma__: Debugging is code. __Proof__: ```py print("Hello world")? ``` __Theorem__: Debugging makes me excited. __Proof__: See previous lemmas. __Corollary__: Where...

Custom commit message parameters are blank

I am using the following workflow file to build files that live on another branch: ```yaml - name: Save to built branch uses: s0/git-publish-subdir-action@develop env: REPO: self BRANCH: built FOLDER:...