From: Georges MARIANO <georges.mariano@inrets.fr>
To: "caml-list@inria.fr" <caml-list@inria.fr>
Subject: looking for "logic calculus" code
Date: Fri, 12 May 2000 16:19:06 +0000 [thread overview]
Message-ID: <391C2EFA.C8037178@inrets.fr> (raw)
Helle everyone,
In order to avoid wasting time and development ressources, I'm looking
for ocaml code implementing some aspects of first order logic
and more precisely proof in FOL
I'm interested with predicate calculus, sequent calculus,
simple proof tactics, fresh variables generation,
[non]-freeness, term substitution, proofs as abstract data types (?),
and so on...
I know that these concepts are easy to implement but I'd prefer
to reuse clean and already validated (free) code.
It seems to me that there is no pointer on such material in the hump...
(may be I'm wrong...)
(pointers to "literal" material (technical reports) also accepted !!)
??
Thanks in advance
--
> Georges MARIANO tel: (33) 03 20 43 84 06
> INRETS, 20 rue Elisee Reclus fax: (33) 03 20 43 83 59
> 59650 Villeneuve d'Ascq mailto:mariano@terre.inrets.fr
> FRANCE.
> http://www3.inrets.fr/Public/ESTAS/Mariano.Georges/
> http://www3.inrets.fr/BUGhome.html mailto:Bforum@estas1.inrets.fr
reply other threads:[~2000-05-12 17:09 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=391C2EFA.C8037178@inrets.fr \
--to=georges.mariano@inrets.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox