Mark Tarver's SEQUEL system 7.0 and 5.3

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io

GNU General Public License v3.0

52 stars 7 forks source link

Mark Tarver's SEQUEL system 7.0 and 5.3 #23

Closed bitmappergit closed 4 years ago

bitmappergit commented 4 years ago

https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/code/tools/sequel/ turns out they were here all along

kohlhase commented 4 years ago

That is very nice, I would make add information according to the schema to https://github.com/theoremprover-museum/theoremprover-museum.github.io/blob/master/_data/provers.yml? See the documentation for IMPS this is :

- name: IMPS
  authors: William M. Farmer, Joshua D. Guttman, F. Javier Thayer
  active: false
  status: museum
  teaser: The IMPS Theorem Prover.
  TPMarchive: imps
  language: Scheme, Common Lisp 
  swmath: 9143

tkw1536 commented 4 years ago

Looking at the sources, it looks like it should be the following:

- name: SEQUEL
  active: false
  teaser:  For generating type-secure and efficient Lisp programs.
  homepage: https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/code/tools/sequel/0.html
  authors: Mark Tarver
  repos: https://github.com/theoremprover-museum/SEQUEL
  development: 1990-1994
  language: Common Lisp

I've also mirrored the website linked above to https://github.com/theoremprover-museum/SEQUEL.

kohlhase commented 4 years ago

I have added that to the museum.