Other features
Besides proof checking and elaboration, Carcara has a number of other functions useful for dealing
with Alethe proofs. Run carcara --help to see a full list of subcommands.
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
Besides proof checking and elaboration, Carcara has a number of other functions useful for dealing
with Alethe proofs. Run carcara --help to see a full list of subcommands.