xiyuzhai-husky-lang/husky issues and pull requests

#503 - Move helper methods to global dispatch table

Issue - State: open - Opened by xiyuzhai 7 days ago

#502 - implement term derivation

Issue - State: open - Opened by xiyuzhai 9 days ago

#501 - no point to intern expr

Issue - State: open - Opened by xiyuzhai 9 days ago

#500 - remove lean output

Pull Request - State: closed - Opened by xiyuzhai 9 days ago

#499 - simplify power base before new

Issue - State: open - Opened by xiyuzhai 10 days ago

#498 - should probably merge frac into div

Issue - State: open - Opened by xiyuzhai 10 days ago

#497 - only build symbols that are used in the region

Issue - State: open - Opened by xiyuzhai 10 days ago

#496 - kurapika blank implementation

Issue - State: open - Opened by xiyuzhai 11 days ago

#495 - redesign miracle runtime

Issue - State: open - Opened by xiyuzhai 11 days ago - 1 comment

#494 - floated-parallel is not maintained

Issue - State: open - Opened by xiyuzhai 11 days ago

#493 - remove sum from product base

Issue - State: closed - Opened by xiyuzhai 11 days ago

#492 - `VdBsqComnumTermData` serves no purpose. Maybe no need to use the same fld.

Issue - State: closed - Opened by xiyuzhai 11 days ago

#491 - litnum bound stash

Issue - State: open - Opened by xiyuzhai 12 days ago

#490 - Better caching for equivalent terms

Issue - State: open - Opened by xiyuzhai 12 days ago

#489 - prefer impl Fn+Copy over &impl Fn

Issue - State: open - Opened by xiyuzhai 13 days ago

#488 - Only use expr equivalent for explicit hypothesis

Issue - State: closed - Opened by xiyuzhai 13 days ago

#487 - foldm and multifold can be more general, not limited to Miracle

Issue - State: open - Opened by xiyuzhai 13 days ago

#486 - merge

Pull Request - State: closed - Opened by xiyuzhai 14 days ago

#485 - Implement call stack for elaborator

Issue - State: open - Opened by xiyuzhai 15 days ago

#484 - visored sem expected type,

Issue - State: open - Opened by xiyuzhai 15 days ago - 1 comment

#483 - Enforce correct coercion

Issue - State: open - Opened by xiyuzhai 15 days ago

#482 - sqrt should be merged into power in visored mir

Issue - State: open - Opened by xiyuzhai 16 days ago

#481 - hypotheses in different examples shouldn't be accessible to each other

Issue - State: open - Opened by xiyuzhai 16 days ago

#480 - miracle shouldn't have lower bound

Issue - State: open - Opened by xiyuzhai 16 days ago

#479 - should we allow `2 3` as multiplication in visored?

Issue - State: open - Opened by xiyuzhai 17 days ago - 1 comment

#478 - resolve visored opr mess

Issue - State: open - Opened by xiyuzhai 17 days ago

#477 - vd syn opr and vd sem opr

Issue - State: open - Opened by xiyuzhai 17 days ago - 1 comment

#476 - try reduce constant factors in TermProductBuilder in visored elaborator

Issue - State: open - Opened by xiyuzhai 17 days ago

#475 - replace VdBaseSeparator::Dot

Issue - State: open - Opened by xiyuzhai 17 days ago

#474 - tests for miracle fold

Issue - State: open - Opened by xiyuzhai 17 days ago

#473 - alt maybe result

Issue - State: closed - Opened by xiyuzhai 17 days ago

#472 - qed transpilation

Issue - State: open - Opened by xiyuzhai 18 days ago

#471 - deal with separator mess

Issue - State: open - Opened by xiyuzhai 18 days ago

#470 - variable substitution

Issue - State: open - Opened by xiyuzhai 19 days ago - 1 comment

#469 - fix overcomplication in eterned, floated PartialOrd, Ord

Issue - State: open - Opened by xiyuzhai 19 days ago

#468 - ad hoc implementation of chaining separated list expr elaboration

Issue - State: open - Opened by xiyuzhai 19 days ago

#467 - ad hoc implementation of application elaboration

Issue - State: open - Opened by xiyuzhai 19 days ago - 1 comment

#466 - add elaborate variable

Issue - State: open - Opened by xiyuzhai 19 days ago - 1 comment

#465 - store visored mir expr elaboration

Issue - State: open - Opened by xiyuzhai 19 days ago - 1 comment

#464 - better error messages when coercion failed in visored

Issue - State: open - Opened by xiyuzhai 19 days ago

#463 - Prevent infinite loop when doing library search

Issue - State: open - Opened by xiyuzhai 22 days ago - 1 comment

#462 - floated from_ref can't deal with lifetime yet

Issue - State: open - Opened by xiyuzhai 22 days ago

#461 - qed shouldn't always be necessary

Issue - State: open - Opened by xiyuzhai 23 days ago

#460 - hint is none, ad hoc

Issue - State: open - Opened by xiyuzhai 23 days ago - 1 comment

#459 - Remove Obvious

Issue - State: open - Opened by xiyuzhai 24 days ago

#458 - be cautious about filter-repo

Issue - State: open - Opened by xiyuzhai 24 days ago

#457 - remove unnecessary lfs

Pull Request - State: closed - Opened by xiyuzhai 24 days ago

#456 - merge

Pull Request - State: closed - Opened by xiyuzhai 24 days ago

#455 - impl tactics frontend in visored

Issue - State: open - Opened by xiyuzhai 24 days ago

#454 - latex math argument

Issue - State: open - Opened by xiyuzhai 26 days ago

#453 - feat: visored pipeline established!

Pull Request - State: closed - Opened by xiyuzhai 27 days ago

#452 - check vd mir well-formedness

Issue - State: open - Opened by xiyuzhai 27 days ago

#451 - create a better version of calc

Issue - State: open - Opened by xiyuzhai 27 days ago

#450 - visored to lean sparse mode is potentially buggy

Issue - State: open - Opened by xiyuzhai 27 days ago

#449 - exact is ad hoc

Issue - State: open - Opened by xiyuzhai 27 days ago

#448 - put ln mir expr constructor under helpers

Issue - State: open - Opened by xiyuzhai 27 days ago

#447 - maybe intro in certain cases?

Issue - State: open - Opened by xiyuzhai 27 days ago

#446 - add "We need to prove that ..." to visored cnl.

Issue - State: open - Opened by xiyuzhai 27 days ago

#445 - husky application precedence

Issue - State: open - Opened by xiyuzhai 27 days ago

#444 - calc tactics

Issue - State: open - Opened by xiyuzhai 27 days ago

#443 - test openai, more models

Issue - State: open - Opened by xiyuzhai 27 days ago

#442 - setup deepseek,

Issue - State: open - Opened by xiyuzhai 27 days ago

#441 - function call power

Issue - State: open - Opened by xiyuzhai 28 days ago

#440 - how to translate show in sparse scheme in visored to lean?

Issue - State: open - Opened by xiyuzhai 28 days ago

#439 - replace specs_dir with preloaded specs

Issue - State: open - Opened by xiyuzhai 28 days ago

#438 - Gemini api rate limit

Issue - State: open - Opened by xiyuzhai 29 days ago

#437 - add seed to disk cache in llms

Issue - State: open - Opened by xiyuzhai about 1 month ago

#436 - caution against versions of lazy_static and pyo3 in sglang/internal

Issue - State: open - Opened by xiyuzhai about 1 month ago

#435 - speed up ordered vec map search efficiency through binary search

Issue - State: open - Opened by xiyuzhai about 1 month ago

#434 - be careful about docker nesting?

Issue - State: open - Opened by xiyuzhai about 1 month ago - 1 comment

#433 - rename cache .lock to .temp-hold???

Issue - State: open - Opened by xiyuzhai about 1 month ago

#432 - Remove pyo3 auto initialization

Issue - State: open - Opened by xiyuzhai about 1 month ago

#431 - try avoid initializing visored-llm in fn t(){}

Issue - State: open - Opened by xiyuzhai about 1 month ago

#430 - fix python mess

Pull Request - State: closed - Opened by xiyuzhai about 1 month ago

#429 - try llama.cpp

Issue - State: open - Opened by xiyuzhai about 1 month ago

#428 - coq obvious

Pull Request - State: closed - Opened by Zhang-Liao about 1 month ago