Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

aossie
ComputationalPhilosophy
Merge requests
!42

Update AnselmGod.thy

Review changes
Download
Patches
Plain diff

Ben Blumson requested to merge benblumson/ComputationalPhilosophy:patch-2 into master Dec 11, 2017

Overview 1
Commits 1
Pipelines 0
Changes 1

Merge request reports

Assignee

Select assignees

Reviewers

Request review from

Time tracking