Utensil
Utensil
This is the reason causing #42 .
Latest commit 2994fc3c8048a030d2bc2e3c3e46532a8c46e063 fixed this issue by adding `atom-terminal:open` to "activationCommands", but there's no release containing the fix, that's why I encountered the problem.
Yes I can, and I guess they can be renamed to using underscore to keep consistency with other files (like the coq ones) . P.S. `lean4-tactics*` are no longer there,...
pygae/galgebra will implement PGA and CGA as well, haven't got around to it too. Sent with GitHawk
Should we continue to finish #196 in 0.6.0 and do this in the next release? So we can tell the user to try 0.6.0 first to see what should be...
Yeah I prefer the latter as the deprecated methods are actually no longer in our ways and it would provide a smoother migration process by this middle point ("So we...
I still imagine that there is quite some code written in the past since I've read quite some papers claiming the author used GAlgebra to verify some identities, although I...
I'll do that when I actually get to review the pending work and extract issues from them.
The diff coverage is 0%. Why? Could it be not 0%?
`er_blade` is completely not used in any test cases. I suggest to hold changes to unused code until we have corresponding test cases to cover them or we figure out...