sazare

cheaplogic

analyzer of the proof structure of a clause set by resolution and HOW TO WRITE THE WORLDS BY FOL.

cheaperlogic

cheaplogic with commonlisp

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

kamnagi

a data generator

lisptools

my commonlisp tools

LispZone

commonlisp programs

Sibyl

a simulator (R version)

cheapwriter

simple document converter

clauseize

a tool convert wff to clause

juliamylove

my juila practices

Kakizome2022

learningcommonlisp

A place for learning commonlisp for myself

nakaniwa

いろいろためす場所

parsetools

parse tool for julia

plain-complex

readings

memo for my readings of papers, books about here.

sazare.github.io

tpu

TPU Commonlisp conversion of a Theorem Prover with binary Unit resolution