CORE

language

A constructive proof assistant for first order logic.

How to download and setup CORE

Open terminal and run command

git clone https://github.com/been-jamming/CORE.git

git clone is used to create a copy or clone of CORE repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with CORE https://github.com/been-jamming/CORE/archive/master.zip

Or simply clone CORE with SSH

[email protected]:been-jamming/CORE.git

If you have some problems with CORE

You may open issue on CORE support forum (system) here: https://github.com/been-jamming/CORE/issues

Similar to CORE repositories

Here you may see CORE alternatives and analogs

TypeScript ruby pyret-lang go awesome-cheatsheets android-dev-sources mimesis CN-VScode-Docs oh Eve lang rust Nim red scala-js haxe enso crystal ChatterBot awesome-nlp solidity proposals wren gravity proselint corpora franc Carp sdk nlp_tasks