https://github.com/jessealama/tipi

Theory development with TPTP
https://github.com/jessealama/tipi

Last synced: 4 days ago
JSON representation

Theory development with TPTP

• Host: GitHub
• URL: https://github.com/jessealama/tipi
• Owner: jessealama
• Created: 2012-02-14T01:42:16.000Z (almost 13 years ago)
• Default Branch: master
• Last Pushed: 2017-04-20T04:03:55.000Z (over 7 years ago)
• Last Synced: 2024-05-09T07:29:09.933Z (6 months ago)
• Language: Perl
• Homepage:
• Size: 734 KB
• Stars: 6
• Watchers: 4
• Forks: 0
• Open Issues: 4
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

        
Tipi version 0.0.1

[ REPLACE THIS...

  The README is used to introduce the module and provide instructions on

  how to install the module, any machine dependencies it may have (for

  example C compilers and installed libraries) and any other information

  that should be understood before the module is installed.

  A README file is required for CPAN modules since CPAN extracts the

  README file from a module distribution so that people browsing the

  archive can use it get an idea of the modules uses. It is usually a

  good idea to provide version information here so that people can

  decide whether fixes for the module are worth downloading.

]

INSTALLATION

To install this module, run the following commands:

	perl Makefile.PL

	make

	make test

	make install

Alternatively, to install with Module::Build, you can use the following commands:

	perl Build.PL

	./Build

	./Build test

	./Build install

DEPENDENCIES

None.

COPYRIGHT AND LICENCE

Copyright (C) 2012, Jesse Alama

This library is free software; you can redistribute it and/or modify

it under the same terms as Perl itself.