1Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf] (opens in new tab)(ijcai.org)3edjroot5y ago0
4CGOL – an Alternative External Representation For Lisp users (1976) [pdf] (opens in new tab)(dspace.mit.edu)2edjroot5y ago0
5Bedrock Linux: Mix and match components from different distros (opens in new tab)(bedrocklinux.org)6edjroot5y ago0