Activity for Tobias Nipkow
-
Tobias Nipkow committed [f2bc27]
New entry JinjaDCI
-
`first` did not have constant time complexity
-
New entry Hood_Melville_Queue
-
more explicit proof
-
merged
-
adapted to devel
-
New entry: Relational_Minimum_Spanning_Trees
-
New entry Interpreter_Optimizations
-
adapted to devel
-
use new Heaps.thy
-
added proper T_insert
-
fixed Folgefehler
-
tuned
-
simplified proofs!
-
merged
-
slightly simplified analysis (for the book)
-
adapted to devel
-
tuning
-
tuned
-
adadpted to 831f17da1aab
-
tuned names t to T
-
moved to List
-
tuned names
-
updated to new Leftist_Heap
-
tuned: t_ -> T_
-
more T_ -> t_ tuning
-
improved proofs
-
tuned proofs
-
merged
-
localized example to avoid name clashes
-
tuned names
-
tuned names
-
merged
-
removed unnecessary assm.
-
tuned
-
tuned
-
tuned
-
merged
-
New entry BirdKMP
-
new entry Relational_Paths
-
adapted to 3e343c0c2138
-
lower case topics
-
tuned topics
-
tuned topics
-
New entry: Knuth_Bendix_Order
-
New entry Knuth_Bendix_Order
-
adapted to f4626b1f1b96
-
final lower case of topics
-
lower case topics following AMS and ACM
-
tuned topics
-
New entry: ADS_Functor
-
tuned topics
-
merged
-
merged
-
merged
-
merged
-
lemmas are now in List
-
corrected classification
-
corrected name
-
new entry MFODL_Monitor_Optimized
-
Subdividing Logic topic in index following AMS
-
New entry Sliding_Window_Algorithm
-
more Logic reorg
-
more subdivison of Logic
-
more subdivision of Logic
-
more Logic reorg
-
New entry Saturation_Framework
-
New entry: Goodstein_Lambda
-
New entry WOOT_Strong_Eventual_Consistency
-
fixed broken proof
-
fixed broken proofs
-
new entry for topic Optkmization
-
more Algorithms/Graph
-
clasified Algorithms/Graph
-
more Bicategory
-
new topic Algorithms/Optimization
-
added topic Algoritgms/Graph
-
classified entries as Algorithms/Graph
-
New article Bicategory
-
new topic Algorithms/Mathematical
-
new topics
-
fixed topic
-
tuned
-
fixed abstract
-
New entry Subset_Boolean_Algebras
-
fixed topic
-
merge from AFP 2019
-
simplified proofs
-
tuned topics
-
finally understood that the second implementation is just a very slight optimization of the first
-
tuned
-
tuned
-
New entry Zeta_3_Irrational
-
merged
-
tuned
-
new theory in Priority_Queue_Braun
-
added a sorting theory
-
New entry Poicare_Bendixson
-
adapted to devel
-
tuned
1 >
