# Overview

Atlassian Sourcetree is a free Git and Mercurial client for Windows.

Atlassian Sourcetree is a free Git and Mercurial client for Mac.

# metamath-tools -- toward a metamath parser, proof checker in scala

Metamath, by Norman Megill, is "a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program."

The language is accompanied by a proof checker and a growing database of thousands of proved theorems covering conventional results in logic, set theory, number theory, group theory, algebra, analysis, and topology.

I don't recall exactly what motivated me to start a scala implementation. One idea:

- proof assistant using angular.js

Performance of the scala implementation was pretty bad; as I recall, it took about 20 minutes to parse what the original C version parses in a few seconds.

I'm picking up the project again since discovering rust.

background/context:

- Saying Goodbye to Moore Method math notes and Robert Miner by Dan C at Saturday, February 18, 2012
- Map and Territory in RDF APIs by connolly 27 Apr 2010
- Fun and Frustration with Scala by connolly 18 Jan 2010

## Dev Tools, Reference

## Origins: Typesafe Stack scaffold

Note

TODO: find out where this came from

A sample for the Typesafe Stack (http://typesafe.com/stack).

Scala sample project using Scala and SBT.

To run and test it use SBT invoke: 'sbt run'