Semantic code project
Jump to navigation
Jump to search
Step 1: Select a standard proposition. These will be coded with a “c-” and you can find a complete list here:
Step 1: Select a standard proposition. These will be coded with a “c-” and you can find a complete list here: