An open API service indexing awesome lists of open source software.

https://github.com/fthomas/libisabelle-example


https://github.com/fthomas/libisabelle-example

Last synced: about 1 month ago
JSON representation

Awesome Lists containing this project

README

          

# libisabelle-example
[![Build Status](https://travis-ci.org/fthomas/libisabelle-example.svg?branch=master)](https://travis-ci.org/fthomas/libisabelle-example)

A simple example of [libisabelle](https://github.com/larsrh/libisabelle)
by someone who has no clue about Isabelle.