PVS Specification and Verification System
Science, Math, Logic and Foundations, Software - PVS. The PVS Specification and Verification System.
https://pvs.csl.sri.com/
Math
DC Proof Online
Download free proof writing software for high school, college and university-level mathetmatics
http://www.dcproof.com
NotCH Web Page
Science, Math, Logic and Foundations, Set Theory - Burke, Dennis. Miami University of Ohio.
http://notch.mathstat.muohio.edu/
Shelah's Archive
Science, Math, Publications, Subject Preprint Archives - Shelah's Archive. Papers by Saharon Shelah in logic and related.
https://shelah.logic.at/
Guglielmi, Alessio
Science, Math, Logic and Foundations, Proof Theory - Guglielmi, Alessio. Technical University of Dresden, Germany.
http://alessio.guglielmi.name/
KR, Inc.
Science, Math, Logic and Foundations, Organizations - KR, Inc.. Principles of Knowledge Representation and Reasoning, Incorporated.
http://www.kr.org/
International Federation for Computational Logic (IFCoLog)
Science, Math, Logic and Foundations, Organizations - International Federation for Computational Logic (IFCoLog). A federation of societies and groups active in computational logic.
http://www.ifcolog.org/
ASL
Science, Math, Logic and Foundations, Organizations - ASL. Association for Symbolic Logic.
https://www.aslonline.org/
Chu Spaces
Science, Math, Logic and Foundations, Nonstandard Logics and Extensions - Chu Spaces. Site created by Vaughan Pratt.
http://chu.stanford.edu/
FLoC '02 - Federated Logic Conference
Science, Math, Logic and Foundations, Meetings - FLoC '02 - Federated Logic Conference. Seven concurrent meetings will be held.
http://floc02.diku.dk/
(Austria) Vienna University of Technology
Science, Math, Logic and Foundations, Institutions - (Austria) Vienna University of Technology. Group in Applications of Formal Logic.
https://www.logic.at/