Filewatcher File Search File Search
Catalog
Content Search
» » » »

matita_0.5.8.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:matita_0.5.8.orig.tar.gz

/matita-0.5.8/components/ng_tactics/README

+letin: basta la refine fatta con occurcheck
+cut:   letin; clearbody ~-1 (cosa sia ~-1 è da capirsi)

-generalize:
  a) verificare che tutti i termini selezionati siano convertibili
  b) spostare i termini selezionati nel contesto corrente/spostare il
     termine bucato sotto un lambda
  c) bucare e liftare deve essere fatto contemporaneamente
  d) poi usare tatticali per fare cut + apply

=fai
more»

/matita-0.5.8/components/syntax_extensions/README.syntax

Helm Utf8 macro syntax extension for Camlp4

Sample file:

  --- test.ml ---

  prerr_endline <:unicode<lambda>>

  ---------------

Compile it with:

  ocamlfind ocamlc -package helm-utf8_macros -syntax camlp5o test.ml


/matita-0.5.8/components/tactics/paramodulation/README

make saturate per compilare l'eseguibile da riga di comando (make saturate.opt per la versione ottimizzata)

./saturate -h per vedere una lista di parametri:

./saturate: unknown option `-h'.
Usage:
  -full Enable full mode
  -f Enable/disable full-reduction strategy (default: enabled)
  -r Weight-Age equality selection ratio (default: 4)
  -s symbols-based selection ratio (relative to the weight 
more»

/matita-0.5.8/matita/scripts/README

bench.sql  
  the SQL code to generate the bench table
  
crontab  
  install this crontab (may need
more»

/matita-0.5.8/matita/tests/TPTP/README

to generate the problems:

  cd ../../../components/binaries/tptp2grafite/
  make generate
  cd ../.
more»

/matita-0.5.8/ChangeLog

0.5.8 - ... - toward the 1.x series
	* Complete rewriting of paramodulation code (thanks to Maxime D
more»

/matita-0.5.8/components/ng_kernel/TODO

muovere la split_prods nella riduzione e usarla nel caso di convertibilità di 2 match
in are_conver
more»

/matita-0.5.8/matita/dist/TODO

TODO:
- "ncoercion" statement:
  - simple syntax
  - generation of hints to implement the pullback
-
more»

Browse inside matita_0.5.8.orig.tar.gz

         [DIR]matita-0.5.8/ (11)

Download matita_0.5.8.orig.tar.gz

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com