Pinned Repositories
cheaperlogic
cheaplogic with commonlisp
cheaplogic
analyzer of the proof structure of a clause set by resolution and HOW TO WRITE THE WORLDS BY FOL.
cheapQuest
Study of Quantum Computation
cheaptalker
an private grammar
cheapthought
TeX documents of my other repositories. no pdf.
cheapViews
cycle
a simple model for a system with growth and recognition
lisptools
my commonlisp tools
LispZone
commonlisp programs
Sibyl
a simulator (R version)
sazare's Repositories
sazare/cheaplogic
analyzer of the proof structure of a clause set by resolution and HOW TO WRITE THE WORLDS BY FOL.
sazare/cheaperlogic
cheaplogic with commonlisp
sazare/cheapQuest
Study of Quantum Computation
sazare/cheaptalker
an private grammar
sazare/cheapthought
TeX documents of my other repositories. no pdf.
sazare/cheapViews
sazare/cycle
a simple model for a system with growth and recognition
sazare/kamnagi
a data generator
sazare/lisptools
my commonlisp tools
sazare/LispZone
commonlisp programs
sazare/Sibyl
a simulator (R version)
sazare/cheapwriter
simple document converter
sazare/clauseize
a tool convert wff to clause
sazare/juliamylove
my juila practices
sazare/Kakizome2022
sazare/learningcommonlisp
A place for learning commonlisp for myself
sazare/nakaniwa
いろいろためす場所
sazare/parsetools
parse tool for julia
sazare/plain-complex
sazare/readings
memo for my readings of papers, books about here.
sazare/sazare.github.io
sazare/tpu
TPU Commonlisp conversion of a Theorem Prover with binary Unit resolution