Skip to content

Issues: sazare/cheaplogic

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

81 Open 27 Closed
81 Open 27 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

I will make a function that search all contradictions in a clauses set and goals cheaplogic general on cheaplogic enhancement New feature or request make it rubbish lisp rubbish only
#229 opened Mar 1, 2024 by sazare
gtrailはlinear resolutionぽい cheaplogic general on cheaplogic rubbish lisp rubbish only
#228 opened Mar 1, 2024 by sazare
pure-prover-gtrailで newgoallistの制御がおかしくて消えていく bug Something isn't working cheaplogic general on cheaplogic
#226 opened Feb 20, 2024 by sazare
@sazare
1
readefile in kqc is ignored bug Something isn't working
#225 opened Jun 28, 2023 by sazare
引数の評価ができるか? when *enable-semantix* = T cheaplogic general on cheaplogic let me know rubbish lisp rubbish only
#224 opened May 23, 2023 by sazare
すべてのkqcを実行し、その結果と実行時間をまとめる cheaplogic general on cheaplogic make it
#223 opened May 23, 2023 by sazare
commit 41f33d3 cheaplogic general on cheaplogic question Further information is requested
#222 opened May 17, 2023 by sazare
mergeがない例 bug Something isn't working
#221 opened May 11, 2023 by sazare
1
sbcl 行の途中で自動的にnewlineが入る件 tips
#220 opened Feb 24, 2023 by sazare
orphanは無視して[]判定すればよいのではないか cheaplogic general on cheaplogic enhancement New feature or request question Further information is requested rubbish lisp rubbish only
#219 opened Feb 13, 2023 by sazare
*num-of-trials* > *max-trials* occured bug Something isn't working rubbish lisp rubbish only
#218 opened Feb 12, 2023 by sazare
How to detect inconsistency of a clause set. cheaplogic general on cheaplogic question Further information is requested
#217 opened Feb 11, 2023 by sazare
2
pcode classify []'s rubbish lisp rubbish only
#214 opened Jan 14, 2023 by sazare
a metrics of proof?
#213 opened Jan 8, 2023 by sazare
substitutionを取り出したい
#212 opened Jan 5, 2023 by sazare
1
ruder.css seems not to work?
#210 opened Dec 12, 2022 by sazare
1
random prover
#209 opened Nov 26, 2021 by sazare
2
let extract cheaplogic/rubbish to new repository cheaplogic general on cheaplogic rubbish lisp rubbish only
#208 opened Jun 5, 2021 by sazare
Recipeで、1つorphanができるとそこでproverが終わってしまう cheaplogic general on cheaplogic enhancement New feature or request
#207 opened Jun 2, 2021 by sazare
2
md made by OBSIDIAN can't show in github
#206 opened May 22, 2021 by sazare
1
rubbishだけ別repositoryにする rubbish lisp rubbish only
#204 opened Mar 12, 2021 by sazare
+pと-pはDNAに似たところがある cheaplogic general on cheaplogic
#203 opened Mar 7, 2021 by sazare
What is Logic cheaplogic general on cheaplogic
#202 opened Feb 21, 2021 by sazare
changing axioms, only goal cheaplogic general on cheaplogic question Further information is requested
#201 opened Jan 10, 2021 by sazare
if newvar make a var x.yyy where x is rootof var, yyy is clid or name.
#200 opened Oct 18, 2020 by sazare
ProTip! Find all open issues with in progress development work with linked:pr.