Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Building a Semantic Wiki of Mathematics.
JavaScript Ruby CSS CoffeeScript
branch: master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
app
bin
books
config
db
design
doc
lib
public
script
test
vendor
.DS_Store
.gitignore
Gemfile
Gemfile.lock
Guardfile
README.md
Rakefile
TODOLIST
backup_db
config.ru
notes
restore_db
t2ku.sql

README.md

T2Ku

The semantic and automated deductive wiki of Mathematics.

Papers

T2Ku: Building a Semantic Wiki of Mathematics

http://arxiv.org/abs/1201.5681/

Env. set-up

Firstly you need to compile and install PostgreSQL Database

./configure
gmake
su
gmake install
adduser pg
mkdir /usr/local/pgsql/data
chown pg /usr/local/pgsql/data
su - pg
/usr/local/pgsql/bin/initdb -D /usr/local/pgsql/data
/usr/local/pgsql/bin/postgres -D /usr/local/pgsql/data >logfile 2>&1 &
/usr/local/pgsql/bin/createdb t2ku
/usr/local/pgsql/bin/psql t2ku
createuser -P -s -e super

After checking out the latest source code, cd to the project root directory and execute mkdir log and ./restore_db. Then create a file named git_sensitive.rb which gives value to sensitive constants GIT_SENSITIVE_SMTP_PASSWORD.

At last execute bin/start_unicorn.

Something went wrong with that request. Please try again.